MathOverflow
Profile Activity
Main user
Network profile
11,736
reputation
14
16

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.

3
answers
4
questions
~6k
people reached

Communities (95)

Top network posts

Top tags (11)

Score 44
Posts 7
Posts % 100
Score 28
Posts 2
Score 6
Posts 1
Score 6
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (7)

All Questions Answers
Votes Newest
47 Why was the whole math jokes thread deleted, and should it have been? Aug 18 '19
36 Is it worth editing old posts to add links for references? Nov 16 '16
28 Why was the whole math jokes thread deleted, and should it have been? Aug 19 '19
21 Featured MO questions on the hot list: what benefits, if any, do these bring? Jan 2 '14
10 Why does this (old) funding proposal for MathOverflow, say that Ben Green got the Fields Medal? Aug 3
9 New tag for Discrete Morse Theory? Sep 16 '14
6 On the recent question “Is Euclid dead?”, or: Is it considered good practice to use MathOverflow for a campaign? Dec 21 '13

Badges (30)

Gold

—

Silver

14

Rarest

Bronze

16

Rarest

View all badges →