MathOverflow
user avatar
user avatar
user avatar
Peter LeFanu Lumsdaine
  • Member for 12 years, 8 months
  • Last seen this week
Profile Activity
Stats
15,771
reputation
304k
reached
147
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
99
bronze badges
Top tags
View all tags
643
Score
94
Posts
56
Posts %
438
Score
47
Posts
28
Posts %
186
Score
19
Posts
11
Posts %
77
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
58
Why should we believe in the axiom of regularity?
Sep 29, 2015
answer
48
Are dagger categories truly evil?
Oct 5, 2015
answer
47
Interesting examples of vacuous / void entities
Nov 14, 2010
answer
46
Why do people say Gödel's sentence is true when it is true in some models but false in others?
Oct 9, 2021
answer
45
Why are matrices ubiquitous but hypermatrices rare?
Dec 2, 2010
question
44
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?
26
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
390
Pedagogy: How to cure students of the "law of universal linearity"?
288
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.