Ali Caglayan

5,546
reputation
9
40
72

Interested in type theory, category theory and algebraic topology. Mixing these up is even more interesting.