Results 31 to 40 of about 141 (99)
The connected Vietoris powerlocale [PDF]
, 2009 The connected Vietoris powerlocale is defined as a strong monad Vc on the category of locales. VcX is a sublocale of Johnstone's Vietoris powerlocale VX, a localic analogue of the Vietoris hyperspace, and its points correspond to the weakly semifitted ...
Vickers, Steven
core +1 more source
On locales whose countably compact sublocales have compact closure
Mathematica Bohemica, 2022 Summary: Among completely regular locales, we characterize those that have the feature described in the title. They are, of course, localic analogues of what are called \(\mathrm{cl}\)-isocompact spaces. They have been considered in [\textit{T. Dube} et al., Appl. Categ. Struct. 22, No.
openaire +3 more sources
On bornologies, locales and toposes of M-sets [PDF]
, 2002 Let M be the monoid of all endomaps of a non-empty set N, Ω the locale of all ideals of M, and let M be the topos of all M-sets. The core of this paper is formed by a locale B, a subtopos B↪M and two theorems, where B is the locale of all bornologies ...
Español, Luis [0000-0001-6111-8924] +3 more
core +1 more source
, 1981 The embedding of sober spaces in locales preserves products X × Y X \times Y where X X is quasi-locally compact.
John Isbell
core +1 more source
Specialni bezbodove prostory [PDF]
, 2021 1 Tato práce se zabývá oddělovacími axiomy v bezbodové topologii. Zavádíme pojem slabé inkluze, což je relace, která je slabší než relace ≤. Slabé inkluze poskytují formalizmus, kterým lze studovat standardní separační axiomy jako subfitness, fit- ness ...
Novák, Jan
core
Quasi-Menger and Weakly Menger Frames
, 2022 We study the quasi-Menger and weakly Menger properties in locales. Our definitions, which are adapted from topological spaces by replacing subsets with sublocales, are conservative in the sense that a topological space is quasi-Menger (resp.
Ighedo, Oghenetega +2 more
core +1 more source
Canonical extensions via fitted sublocales
Applied Categorical StructuresAbstract We study restrictions of the correspondence between the lattice $$\textsf{SE}(L)$$ SE ( L ) of strongly exact filters, of a
Jakl, T. (Tomáš), Suarez, A. L.
openaire +4 more sources
Hewitt's irresolvability and induced sublocales in spatial frames
, 2021 Sublocales of frames, even those representing subspaces (induced sublocales), are typically not complemented in the lattice of all sublocales. We present a necessary and sufficient condition for an induced sublocale to be so, and prove that all induced ...
Picado, Jorge +3 more
core
A Boolean extension of a frame and a representation of discontinuity
, 2018 Point-free modeling of mappings that are not necessarily continuous has been so far based on the extension of a frame to its frame of sublocales, mimicking the replacement of a topological space by its discretization.
Picado, Jorge, Pultr, Ales
core
Characterising points which make P-frames
, 2015 A P -frame is a completely regular frame whose cozero part is a Boolean algebra. It is known that these frames are precisely those the points of whose Stone–Čech compactification are all of a certain kind, akin to P -points in Tychonoff spaces.
Oghenetega Ighedo +3 more
core +1 more source