130 reputation
16
bio website
location
age
visits member for 2 years, 2 months
seen Aug 26 at 3:33

Just a math undergrad in Vancouver.

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


This user has not answered any questions
Mathematics 912 rep 422
MathOverflow 130 rep 16
Academia 119 rep 2
Stack Overflow 113 rep 15
Graphic Design 111 rep 3

45 Votes Cast

all time   by type   month  
45 up 28 question 3
0 down 17 answer