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 prefixed the Idea-sentence with
(please keep adding such a line here on the nLab, as readers cannot be expected to assume HoTT as the default context).
Moreover, I have hyperlnked loop space and loop (!)
1 to 2 of 2