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
7,929
reputation
1
37
66

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.

98
answers
18
questions
~141k
people reached

Communities (80)

Top Meta Posts
3
1

Top Network Posts

Top Tags (81)

Score 315
Posts 64
Posts % 55
Score 228
Posts 31
Score 150
Posts 16
Score 58
Posts 9
Score 49
Posts 7
Score 43
Posts 7
View all tags →

Top Posts (116) All Questions Answers | Votes Newest

45 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
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 (104)

Gold

1

Rarest

Silver

37

Rarest

Bronze

66

Rarest

View all badges →