3 ms·
Presently working through Harvard's online Abstract Algebra course and adjunct to that Bartoz's notes on category theory and some type theory.
by agentultra 6y ago
Presently working through Harvard's online Abstract Algebra course and adjunct to that Bartoz's notes on category theory and some type theory.