Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
MathOverflow
Meta User
Network Profile
8,726
reputation
1
38
71

Peter LeFanu Lumsdaine

Mathematician, math.LO/math.CT, currently Assistant Professor 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.

105
answers
19
questions
~178k
people reached

Communities (80)

Top Meta Posts
3
1

Top Network Posts

Top Tags (86)

Score 352
Posts 69
Posts % 56
Score 270
Posts 35
Score 159
Posts 17
Score 68
Posts 10
Score 50
Posts 8
Score 31
Posts 9
View all tags →

Top Posts (124) All Questions Answers | Votes Newest

47 Why should we believe in the axiom of regularity? Sep 29 '15
39 Non-examples of model structures, that fail for subtle/surprising reasons? May 2 '10
36 Sexy vacuity … ${{{{{{}}}}}}$ Nov 14 '10
36 Why are matrices ubiquitous but hypermatrices rare? Dec 2 '10
36 Are dagger categories truly evil? Oct 5 '15
30 What “metatheory” did early set theory/logic researchers use to prove semantic results? Apr 15 '18
25 Abstract Thought vs Calculation Jul 2 '10
23 Is Lemma D4.5.3 in the Elephant correct? (“In a topos, weakly projective implies internally projective.”) Mar 4 '16
20 Has the Isbell–Freyd criterion ever been used to check that a category is concretisable? Mar 3
19 What is the most transparent, rigorous definition of the Univalence Axiom? Sep 30 '15
View all questions and answers →

Badges (110)

Gold

1

Rarest

Silver

38

Rarest

Bronze

71

Rarest

View all badges →