De Morgan's and strong De Morgan's laws in a topos of shaves Francis Borceux, Maria Cristina Pedicchio (1987) Acta Universitatis Carolinae. Mathematica et Physica
Definable completeness Marta Bunge, Mamumka Jibladze, Thomas Streicher (2004) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Differential algebra in a topos William F. Keigher (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques