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.

Displaying similar documents to “On pushing out frames”

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.

Booleanization

B. Banaschewski, A. Pultr (1996)

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

Similarity: