Just a math undergrad in Vancouver.

Studying category theory, homotopy theory, categorical logic, and homotopy type theory

Top Questions
1 2