On primeness and maximality of filters
Francis Borceux, Maria-Cristina Pedicchio (1989)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Andrews Pitts (1985)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Enrico M. Vitale (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
V. Patryshev (1984)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Bernhard Banaschewski (1993)
Commentationes Mathematicae Universitatis Carolinae
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.
Peter T. Johnstone (1980)
Manuscripta mathematica
Mark V. Lawson, Benjamin Steinberg (2004)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Anders Kock, Gonzalo Reyes (2006)
Open Mathematics
In the context of Synthetic Differential Geometry, we discuss vector fields/ordinary differential equations as actions; in particular, we exploit function space formation (exponential spaces) in the category of actions.
Bénabou, Jean, Streicher, Thomas (2003)
Theory and Applications of Categories [electronic only]
Michel Coste, Gérard Michon (1981)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Awodey, Steve, Warren, Michael A. (2005)
Theory and Applications of Categories [electronic only]
Anders Kock, Ieke Moerdijk (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
R. J. Wood (1985)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Bunge, Marta, Funk, Jonathon (2007)
Theory and Applications of Categories [electronic only]
Vitale, Enrico M. (2000)
Theory and Applications of Categories [electronic only]
René Guitart (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Kimmo I. Rosenthal (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Anders Kock, Gonzalo E. Reyes (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Johnstone, P.T. (1996)
Theory and Applications of Categories [electronic only]
Kutateladze, S.S. (2005)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]