Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 5 of 5
This article looks like it could be a section in the article differential form.
Unfortunately, the material on differential forms in SDG is really spread across 3 page https://ncatlab.org/nlab/show/differential%20form and https://ncatlab.org/nlab/show/differential+forms+in+synthetic+differential+geometry and https://ncatlab.org/nlab/show/infinitesimal+object#SpacOfInfSimpl
I have boosted all the bibitems
(We had Kock’s book referenced properly in other entries such as Anders Kock or synthetic differential geometry. Unfortunately the nLab has no bib-functionality to harmonize/update references across entries.)
1 to 5 of 5