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 am writing some notes for a talk that I will give tomorrow:
I thought this might serve also as an exposition for a certain topic cluster of $n$Lab entries, so I ended up typing it right into the $n$Lab.
Notice that this is presently a super-rough version. At the moment this is mostly just personal jotted notes for myself. There will be an abundance of typos at the moment and at several points there are still certain jumps that in a more polished entry would be expanded on with more text.
So donâ€™t look at this just yet if you have energy only for passive reading.
1 to 1 of 1