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 created stubs for the missing entries to complete this table:
The main actual content I added are, (at 2-type theory and 2-logic): pointers to Dan Licata’s thesis and to Mike’s personal wiki pages.
I’d hope that one outcome of the present $n$Café discussion is that eventually some of these entries get equipped with some useful content.
(P.S. I would have linked to material by Mike Stay, too, but I don’t know what to link to.)
1 to 1 of 1