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 1 of 1
I have started making notes at differential cohesion on the axiomatic formulation of
So far just the bare basics. To be expanded…
The basic observation (easy in itself, but fundamental for the concept formation) is that for any differential cohesive homotopy type , the inclusion of the formally étale maps into into the full slice over is not only reflective but also co-reflective (since the formally étale maps are the Pi_inf-closed morphisms with the infinitesimal path groupoid functor / de Rham space functor being a left adjoint).
This means that for any differential cohesive -group with the corresponding de Rham coefficient object (the universal moduli for flat -valued differential forms), the sheaf of flat -valued forms over any is given by the sections of the coreflection of the product projection into the formally étale morphisms into .
1 to 1 of 1