Stack Exchange Network

Stack Exchange network consists of 174 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,219
reputation
1
37
67

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.

101
answers
18
questions
~144k
people reached

Communities (80)

Top Meta Posts
3
1

Top Network Posts

Top Tags (86)

Score 326
Posts 65
Posts % 55
Score 244
Posts 33
Score 151
Posts 16
Score 68
Posts 10
Score 49
Posts 8
Score 30
Posts 9
View all tags →

Top Posts (119) All Questions Answers | Votes Newest

46 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 Why are matrices ubiquitous but hypermatrices rare? Dec 2 '10
36 Are dagger categories truly evil? Oct 5 '15
35 Sexy vacuity … ${{{{{{}}}}}}$ Nov 14 '10
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
18 Is there a “disjoint union” sigma algebra? Feb 9 '11
18 What is the most transparent, rigorous definition of the Univalence Axiom? Sep 30 '15
View all questions and answers →

Badges (105)

Gold

1

Rarest

Silver

37

Rarest

Bronze

67

Rarest

View all badges →