MathOverflow
Profile Activity
Meta user
Network profile
12,653
reputation
1
46
85

Peter LeFanu Lumsdaine

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.

125
answers
22
questions
~253k
people reached

Communities (100)

Top Meta Posts
4
3

Top network posts

Top tags (99)

Score 533
Posts 82
Posts % 56
Score 308
Posts 41
Score 171
Posts 18
Score 74
Posts 12
Score 50
Posts 8
Score 40
Posts 9
View all tags →

Top posts (147)

All Questions Answers
Votes Newest
54 Why should we believe in the axiom of regularity? Sep 29 '15
43 Interesting examples of vacuous / void entities Nov 14 '10
42 Are dagger categories truly evil? Oct 5 '15
41 Why are matrices ubiquitous but hypermatrices rare? Dec 2 '10
41 Non-examples of model structures, that fail for subtle/surprising reasons? May 2 '10
40 Proofs where higher dimension or cardinality actually enabled much simpler proof? May 22 '20
33 Is a vector space naturally isomorphic to its dual? Nov 4 '19
33 Are there categories whose internal hom is somewhat 'exotic'? Aug 18 '19
30 What “metatheory” did early set theory/logic researchers use to prove semantic results? Apr 15 '18
26 Abstract Thought vs Calculation Jul 2 '10
View all questions and answers →

Badges (132)

Gold

1

Rarest

Silver

46

Rarest

Bronze

85

Rarest

View all badges →

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.