Models of differential algebra in the context of synthetic differential geometry Marta Bunge (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Model-theoretic characterisations of convenience properties in topological categories Vaclav Vajner (1992) Cahiers de Topologie et Géométrie Différentielle Catégoriques
More on graphic toposes F. William Lawvere (1991) Cahiers de Topologie et Géométrie Différentielle Catégoriques