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 3 of 3
When clicking the hyperlink for a page category it looks at the nlabs categories instead. For example the category “homotopy theory” has no nlab equivalent so throws a 500 error whereas “category theory” links to some nlab category (with one page??). The expected behaviour should be that the correct category from the HoTT wiki is shown.
1 to 3 of 3