Wedge product of forms in synthetic differential geometry M. Carmen Minguez (1988) Cahiers de Topologie et Géométrie Différentielle Catégoriques