Exponentiable morphisms: Posets, spaces, locales, and Grothendieck toposes.
Niefield, Susan (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Glueing analysis for complemented subtoposes.”
Exponentiable morphisms: Posets, spaces, locales, and Grothendieck toposes.
Stack completions and Morita equivalence for categories in a topos
Marta Bunge (1979)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Quasi locally connected toposes.
Bunge, Marta, Funk, Jonathon (2007)
Theory and Applications of Categories [electronic only]
Similarity:
On branched covers in topos theory.
Funk, Jonathon (2000)
Theory and Applications of Categories [electronic only]
Similarity:
-Cat is locally presentable or locally bounded if is so.
Kelly, G.M., Lack, Stephen (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Cartesian spaces over and locales over
S. B. Niefield (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
On product and change of base for toposes
Andrews Pitts (1985)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Initial normal covers in bi-Heyting toposes
Francis Borceux, Dominique Bourn, Peter Johnstone (2006)
Archivum Mathematicum
Similarity:
The dual of the category of pointed objects of a topos is semi-abelian, thus is provided with a notion of semi-direct product and a corresponding notion of action. In this paper, we study various conditions for representability of these actions. First, we show this to be equivalent to the existence of initial normal covers in the category of pointed objects of the topos. For Grothendieck toposes, actions are representable provided the topos admits an essential Boolean covering. This...