A generalized global differential calculus : application to invariance under a Lie group. I Joseph Johnson (1986) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Algèbres graphiques (sur un concept de dimension dans les langages formels) Albert Burroni (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques