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.
I have renamed the entry formerly called (and still redirecting) “connection on a principal infinity-bundle” into connection on a smooth principal infinity-bundle.
I will now start with bringing that entry into shape.
In the same vein I have renamed the entry formerly titled (and still redirecting) “infinity-Chern-Weil theory” into Chern-Weil theory in Smooth∞Grpd.
This way things are set up well for when the legions of students arrive who will do all the analogous discussion in other cohesive $(\infty,1)$-toposes such as $Algebraic \infty Grpd$, $ComplexAnalytic \infty Grpd$ as well as the derived version of all of these. ;-)
1 to 1 of 1