A categorical genealogy for the congruence distributive property. Bourn, Dominique (2001) Theory and Applications of Categories [electronic only]
Algebraic colimit calculations in homotopy theory using fibred and cofibred categories. Brown, Ronald, Sivera, Rafael (2009) Theory and Applications of Categories [electronic only]
An abstract characterization of the jet spaces Ivan Kolar (1993) Cahiers de Topologie et Géométrie Différentielle Catégoriques
An outline of non-abelian cohomology in a topos : (I) The theory of bouquets and gerbes John Duskin (1982) Cahiers de Topologie et Géométrie Différentielle Catégoriques