On pushing out frames

Bernhard Banaschewski

Displaying similar documents to “On pushing out frames”

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:

On the injectivity of Boolean algebras

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.

Spaces with Boolean assemblies

H. Simmons (1980)

Colloquium Mathematicae

Similarity:

Booleanization

B. Banaschewski, A. Pultr (1996)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity: