×

Connections in formal differential geometry. (English) Zbl 0418.18008

Var. Publ. Ser., Aarhus Univ. 30, 158-195 (1979).
For the entire collection see [Zbl 0396.00004].

MSC:

18F15 Abstract manifolds and fiber bundles (category-theoretic aspects)
03G30 Categorical logic, topoi
PDFBibTeX XMLCite