fhyve
2,565
reputation
2
25
37
Just a math undergrad in Vancouver.
Studying category theory, homotopy theory, categorical logic, and homotopy type theory