MathOverflow
Peter LeFanu Lumsdaine
Profile Activity
Stats
14,141
reputation
7k
reached
4
answers
5
questions
Communities
View all
About

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.

Badges
View all badges
This user doesn’t have any gold badges yet.
15
silver badges
18
bronze badges
Top tags
View all 13 tags
52
Score
9
Posts
100
Posts %
29
Score
2
Posts
22
Posts %
7
Score
1
Posts
11
Posts %
6
Score
1
Posts
11
Posts %
6
Score
1
Posts
11
Posts %
0
Score
2
Posts
22
Posts %
Top posts
All Questions Answers
Votes Newest
48
Why was the whole math jokes thread deleted, and should it have been?
Aug 18 '19
36
Is it worth editing old posts to add links for references?
Nov 16 '16
29
Why was the whole math jokes thread deleted, and should it have been?
Aug 19 '19
23
Featured MO questions on the hot list: what benefits, if any, do these bring?
Jan 2 '14
18
Is it time to replace links to the UCDavis arXiv frontend?
Aug 25
10
Why does this (old) funding proposal for MathOverflow, say that Ben Green got the Fields Medal?
Aug 3 '20
9
New tag for Discrete Morse Theory?
Sep 16 '14
7
(When) are "career advice" questions on-topic here? If and when such a question is on-topic, what to keep in mind in answering such a question?
Apr 25
6
On the recent question "Is Euclid dead?", or: Is it considered good practice to use MathOverflow for a campaign?
Dec 21 '13
Top network posts
View all
382
Pedagogy: How to cure students of the "law of universal linearity"?
287
How do you explain to a 5th grader why division by zero is meaningless?
199
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?
109
How to deal with a professor who grades assignments and exams incorrectly
73
What does "Et In Arcadia, Ego" refer to?
66
When Frodo offers her the ring, is Galadriel really tempted, or just making a point?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.