Relatively boolean and De Morgan toposes and locales
Anders Kock, Gonzalo E. Reyes (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Anders Kock, Gonzalo E. Reyes (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Bernhard Banaschewski (1993)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The functor taking global elements of Boolean algebras in the topos of sheaves on a complete Boolean algebra is shown to preserve and reflect injectivity as well as completeness. This is then used to derive a result of Bell on the Boolean Ultrafilter Theorem in -valued set theory and to prove that (i) the category of complete Boolean algebras and complete homomorphisms has no non-trivial injectives, and (ii) the category of frames has no absolute retracts.
H. Simmons (1980)
Colloquium Mathematicae
Similarity:
B. Banaschewski, A. Pultr (1996)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: