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, 2 months
  • Last seen this week
Profile Activity
Stats
16,706
reputation
321k
reached
151
answers
23
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
59
silver badges
107
bronze badges
Top tags
View all tags
696
Score
97
Posts
56
Posts %
445
Score
48
Posts
28
Posts %
204
Score
20
Posts
11
Posts %
80
Score
13
Posts
7
Posts %
74
Score
8
Posts
5
Posts %
39
Score
9
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
59
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 are matrices ubiquitous but hypermatrices rare?
Dec 2, 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
question
44
Non-examples of model structures, that fail for subtle/surprising reasons?
May 2, 2010
question
43
Applications of Zorn’s lemma that aren’t chain-complete/directed-complete?
Apr 18, 2021
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
Top Meta posts
5
5
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?
28
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
391
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?
199
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.