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 4 of 4
I am starting fiber integration in ordinary differential cohomology, but just two references so far (are there more? the project by Baer seems not to have borne any article, it seems)
now there is a definition at fiber integration in ordinary differential cohomology
added more references to fiber integration in ordinary differential cohomology
I started adding some comments to fiber integration in ordinary differential cohomology on the perspective from smooth -stacks. This is something I am looking at with Domenico, who will maybe get to it later today. I’ll drop a note here when it stabilizes, myself I will have to go offline in a few minutes.
1 to 4 of 4