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