Wedge product of forms in synthetic differential geometry M. Carmen Minguez (1988) Cahiers de Topologie et Géométrie Différentielle Catégoriques
When is Ω a cogenerator in a topos ? Francis Borceux (1975) Cahiers de Topologie et Géométrie Différentielle Catégoriques