I’m student in the École Normale Supérieure in Paris. I’m particularly interested in topology (algebraic topology, differential geometry), logic (set theory, theoretical computer science), category theory and homotopy type theory.
Top Questions
1 2