Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body F. William Lawvere — 1980 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