Categories of sketched structures. Cahiers de Topologie et Géometrie Différentielle 13 (1973)

by A Bastiani, C Ehresmann