MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
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.