"Homotopical macrocosms for higher category theory" identified as woke DEI grantmathstodon.xyz108 pointsnabla9a year ago