TFT Construction of RCFT correlators. V: Proof of modular invariance and factorisation. Fjelstad, Jens, Fuchs, Jürgen, Runkel, Ingo, Schweigert, Christoph (2006) Theory and Applications of Categories [electronic only]
The classifying topos of a continuous groupoid. II Ieke Moerdijk (1990) Cahiers de Topologie et Géométrie Différentielle Catégoriques
The low-dimensional homology of crossed modules. Gilbert, N.D. (2000) Homology, Homotopy and Applications
The stack quotient of a groupoid Anders Kock (2003) Cahiers de Topologie et Géométrie Différentielle Catégoriques
The theory of core algebras: its completeness. Freyd, Peter (2007) Theory and Applications of Categories [electronic only]
Topological properties of the real numbers object in a topos Lawrence Neff Stout (1976) Cahiers de Topologie et Géométrie Différentielle Catégoriques