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.
There have been some additions at nLab which ought to be reported at the nForum, including a new page equivariantization. I would recommend that changes at the level of coreduced object, rev 3 and module category, rev 6 be noted here too.
Is Manuel Baerenz reading the forum? Does anyone know him?
@Mike he spoke at the most recent Higher Structures conference. Not sure about him using the forum, though.
1 to 3 of 3