4 ms·
Category theory, type theory, and HoTT are all a joy! Worth checking out, especially if you didn't enjoy math in school.
by maxbendick 5y ago
Category theory, type theory, and HoTT are all a joy! Worth checking out, especially if you didn't enjoy math in school.