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.
felt the need to split off a separate entry for circle n-group
But now I see that section ’circle Lie n-group’ mentioned in the Definition is no longer there at smooth infinity-groupoid. Anywhere else to point to?
1 to 4 of 4