Peter LeFanu Lumsdaine
Mathematician, math.LO/math.CT, currently Associate Professor (Universitetslektor) at Stockholm University. Mainly working in categorical logic, especially homotopy type theory and higher categories.
Previously worked at Institute for Advanced Study, Princeton; Dalhousie University, Halifax, Nova Scotia; and Carnegie Mellon University, Pittsburgh.
3
answers
4
questions
~6k
people reached
-
Stockholm, Sweden
-
Member for 11 years, 2 months
-
175 profile views
-
Last seen 2 days ago
Communities (99)
- English Language & Usage 19.1k 19.1k 33 gold badges4646 silver badges9797 bronze badges
- MathOverflow 12.2k 12.2k 11 gold badge4646 silver badges8383 bronze badges
- Academia 7.8k 7.8k 33 gold badges2626 silver badges3535 bronze badges
- Mathematics 7.6k 7.6k 55 gold badges2323 silver badges4646 bronze badges
- TeX - LaTeX 3.4k 3.4k 33 gold badges2626 silver badges4242 bronze badges
- View network profile
Top network posts
- 370 Pedagogy: How to cure students of the "law of universal linearity"?
- 286 How do you explain to a 5th grader why division by zero is meaningless?
- 200 How do I ask for an espresso if there's a good chance they don't know how to make it?
- 123 Is it unethical to take a photograph of my question sheets from a sit-down exam I've just finished if I am not allowed to take them home?
- 108 How to deal with a professor who grades assignments and exams incorrectly
- 71 What does "Et In Arcadia, Ego" refer to?
- 66 When Frodo offers her the ring, is Galadriel really tempted, or just making a point?
- View more network posts →
Top tags (11)
Score
44
Posts
7
Posts %
100
Score
28
Posts
2
Score
6
Posts
1
Badges (31)
Gold
—
Silver
15
Rarest
-
Apr 15 '16
-
Sep 17 '19
Bronze
16
Rarest
-
Aug 19 '19
-
Oct 8 '15
-
Aug 27 '19