MathOverflow
user avatar
user avatar
user avatar
Peter LeFanu Lumsdaine
  • Member for 12 years, 5 months
  • Last seen this week
Profile Activity
Stats
15,379
reputation
297k
reached
144
answers
22
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
1
gold badge
52
silver badges
96
bronze badges
Top tags
View all tags
615
Score
92
Posts
55
Posts %
429
Score
46
Posts
28
Posts %
185
Score
19
Posts
11
Posts %
78
Score
12
Posts
7
Posts %
72
Score
8
Posts
5
Posts %
39
Score
9
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
57
Why should we believe in the axiom of regularity?
Sep 29, 2015
answer
47
Are dagger categories truly evil?
Oct 5, 2015
answer
46
Interesting examples of vacuous / void entities
Nov 14, 2010
answer
45
Why are matrices ubiquitous but hypermatrices rare?
Dec 2, 2010
answer
45
Why do people say Gödel's sentence is true when it is true in some models but false in others?
Oct 9, 2021
question
43
Non-examples of model structures, that fail for subtle/surprising reasons?
May 2, 2010
answer
41
Proofs where higher dimension or cardinality actually enabled much simpler proof?
May 22, 2020
answer
37
Is a vector space naturally isomorphic to its dual?
Nov 4, 2019
answer
36
Are there categories whose internal hom is somewhat 'exotic'?
Aug 18, 2019
answer
32
What "metatheory" did early set theory/logic researchers use to prove semantic results?
Apr 15, 2018
Top Meta posts
5
4
48
Why was the whole math jokes thread deleted, and should it have been?
36
Is it worth editing old posts to add links for references?
29
Why was the whole math jokes thread deleted, and should it have been?
24
Updated: Is it time to replace links to the UCDavis arXiv frontend?
23
Featured MO questions on the hot list: what benefits, if any, do these bring?
Top network posts
View all network posts
389
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

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.