Menu:
I am a mathematician, currently universitetslektor (associate professor) in the logic group at Stockholm University.
My research interests lie mainly in category theory and logic, including homotopy type theory, higher category theory, topos theory, and constructive mathematics. Publications, etc.
Email: p.l.lumsdaine@math.su.se