Normal forms of matrices in topoi Javad Tavakoli (1982) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Notions of flatness relative to a Grothendieck topology. Karazeris, Panagis (2004) Theory and Applications of Categories [electronic only]