The classifying topos of a continuous groupoid. II Ieke Moerdijk (1990) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Théorie de Schreier supérieure Lawrence Breen (1992) Annales scientifiques de l'École Normale Supérieure
Topological Space Objects in a Topos II: ...-Completeness and ...-Cocompleteness. Lawrence Neff Stout (1975) Manuscripta mathematica