Philosophy
Peter LeFanu Lumsdaine
  • Stockholm, Sweden
  • Member for 7 years, 1 month
Profile Activity
Stats
390
reputation
12k
reached
3
answers
0
questions
About

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.

Communities (103)

Top network posts

This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges

Top tags (4)

Score 22
Posts 2
Posts % 67
Score 4
Posts 1
Score 3
Posts 1
Score 3
Posts 1

Top posts (3)

All Questions Answers
Votes Newest
19 Why does "Daisy has four legs" not entail "Daisy has more than two legs"? May 4 '20
4 What does a priori mean in a math paper? May 5 '20
3 What is wrong with these two conditionals? Feb 28 '20

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.