On primeness and maximality of filters
Displaying 81 – 100 of 135
On product and change of base for toposes
Andrews Pitts (1985)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
On the characterization of monadic categories over set
Enrico M. Vitale (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
On the Grothendieck topologies in the toposes of presheaves
V. Patryshev (1984)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
On the injectivity of Boolean algebras
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.
Open Maps of Toposes.
Peter T. Johnstone (1980)
Manuscripta mathematica
Ordered groupoids and étendues
Mark V. Lawson, Benjamin Steinberg (2004)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Ordinary differential equations and their exponentials
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.
Partial toposes.
Bénabou, Jean, Streicher, Thomas (2003)
Theory and Applications of Categories [electronic only]
Petits et gros topos en géométrie algébrique
Michel Coste, Gérard Michon (1981)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Predicative algebraic set theory.
Awodey, Steve, Warren, Michael A. (2005)
Theory and Applications of Categories [electronic only]
Presentations of étendues
Anders Kock, Ieke Moerdijk (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Proarrows II
R. J. Wood (1985)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Quasi locally connected toposes.
Bunge, Marta, Funk, Jonathon (2007)
Theory and Applications of Categories [electronic only]
Quasi-varieties of presheaves.
Vitale, Enrico M. (2000)
Theory and Applications of Categories [electronic only]
Qu'est-ce que la logique dans une catégorie ?
René Guitart (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Quotient systems in Grothendieck topoi
Kimmo I. Rosenthal (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
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
Remarks on quintessential and persistent localizations.
Johnstone, P.T. (1996)
Theory and Applications of Categories [electronic only]
Saunders Mac Lane, the knight of mathematics.
Kutateladze, S.S. (2005)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]