>>12078064Idk but i'm trying to get a brainlet's glimpse into what toposes and homotopy type theory is all about, and also Voevodsky's univalent foundations of mathematics. As a striving, average programmer who banged his head against and finally made it through Bartosz's category theory stuff it seems really interesting.
[spoiler:lit]I just wish there weren't so many trans in these areas. They're annoying. Sorry, just being honest.[/spoiler:lit]