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.
This page was misleading in it not mentioning the type-theoretic backdrop and even suggesting by its context menu that the discussion takes place in “category theory”.
I have at least added a lead-in mentioning of “In homotopy type theory…” and added the context menu for “type theory”.
Alternatively one could want to understand this page as being about groupoids internal to -category theory, but this would require more edits, still.
1 to 3 of 3