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.
e.g. Monoidal Category - hover over “Monoidal categories” on right-hand sidebar to bring up the whole sidebar, bring your mouse down to “monoidal dagger-category”: the sidebar disappears!
On a more general note I find the on-over nature of the sidebar quite distracting and glitchy as a whole: perhaps it can be always-on instead?
Thanks for all the hard work on the website, as a Category Theory newbie I’m finding it really helpful!
To fix the sidebar, click on it! (On any point inside it which is not on a hyperlink.)
1 to 2 of 2