MathOverflow
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine
  • Member for 13 years, 10 months
  • Last seen this week
Profile Activity
Stats
18,467
reputation
9k
reached
5
answers
6
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.
20
silver badges
21
bronze badges
Top tags
View all tags
66
Score
10
Posts
91
Posts %
28
Score
2
Posts
18
Posts %
22
Score
2
Posts
18
Posts %
6
Score
1
Posts
9
Posts %
6
Score
1
Posts
9
Posts %
0
Score
3
Posts
27
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
48
Why was the whole math jokes thread deleted, and should it have been?
Aug 18, 2019
question
37
Is it worth editing old posts to add links for references?
Nov 16, 2016
answer
28
Why was the whole math jokes thread deleted, and should it have been?
Aug 19, 2019
question
25
Updated: Is it time to replace links to the UCDavis arXiv frontend?
Aug 25, 2021
question
23
Featured MO questions on the hot list: what benefits, if any, do these bring?
Jan 2, 2014
answer
15
Mathoverflow for finding the name of mathematical concepts
Dec 7, 2022
answer
10
Why does this (old) funding proposal for MathOverflow, say that Ben Green got the Fields Medal?
Aug 3, 2020
question
9
New tag for Discrete Morse Theory?
Sep 16, 2014
answer
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, 2021
answer
6
On the recent question "Is Euclid dead?", or: Is it considered good practice to use MathOverflow for a campaign?
Dec 21, 2013
Top network posts
View all network posts
395
Pedagogy: How to cure students of the "law of universal linearity"?
289
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?
124
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?
110
How to deal with a professor who grades assignments and exams incorrectly

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.