Results 31 to 40 of about 355 (91)
, 2009 It is well known that inverse semigroups are closely related to \'etale groupoids. In particular, it has recently been shown that there is a (non-functorial) equivalence between localic \'etale groupoids, on one hand, and complete and infinitely ...
Protin, M. Clarence, Resende, Pedro
core +1 more source
On some peculiar aspects of the constructive theory of point-free spaces
, 2010 This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle
Blass, Gutierres, Herrlich
core +1 more source
On the existence of Stone-Cech compactification
, 2010 In [G. Curi, "Exact approximations to Stone-Cech compactification'', Ann. Pure Appl. Logic, 146, 2-3, 2007, pp. 103-123] a characterization is obtained of the locales of which the Stone-Cech compactification can be defined in constructive type theory CTT,
Curi, Giovanni
core +1 more source
A special class of congruences on $\kappa$-frames
, 2017 Madden has shown that in contrast to the situation with frames, the smallest dense quotient of a $\kappa$-frame need not be Boolean. We characterise these so-called d-reduced $\kappa$-frames as those which may be embedded as a generating sub-$\kappa ...
Manuell, Graham
core +1 more source
A new proof of the Joyal-Tierney theorem [PDF]
, 2023 We give an alternative proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.Nous donnons une preuve alternative du th ́eor`eme bien connu de Joyal-Tierney dans la th ́eorie des locales en utilisant la ...
G. Bezhanishvili, L. Carai, P. Morandi
core
Localic Metric spaces and the localic Gelfand duality
, 2014 In this paper we prove, as conjectured by B.Banachewski and C.J.Mulvey, that the constructive Gelfand duality can be extended into a duality between compact regular locales and unital abelian localic C*-algebras.
Henry, Simon
core
Relative compactness conditions for topos [PDF]
, 1997 In this paper a systematic study is made of various notions of proper map in the context of toposes Modulo some separation conditions a proper map Y X of spaces is generally understood to be a continuous function which preserves compactness of ...
Moerdijk, I., Vermeulen, J.J.C.
core
The coframe of D-sublocales of a locale and the $T_D$ duality [PDF]
, 2020 Igor Arrieta, Anna Laura Suarez
openalex +1 more source
Localic separation and the duality between closedness and fittedness
, 2023 There are a number of localic separation axioms which are roughly analogous to the $T_1$-axiom from classical topology. For instance, besides the well-known subfitness and fitness, there are also Rosicky-Smarda's $T_1$-locales, totally unordered locales ...
Arrieta, Igor
core
Revisiting the relation between subspaces and sublocales [PDF]
, 2020 Anna Laura Suarez
openalex +1 more source