M mathstodon.xyz "Homotopical macrocosms for higher category theory" identified as woke DEI grant 108 points nabla9 1 year ago 146 comments
