Skip to main content
Literature
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine
  • Member for 9 years
  • Last seen this week
  • Stockholm, Sweden
Profile Activity

Stats

290
reputation
2k
reached
3
answers
1
question
Communities
View all

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.

Badges

View all badges
This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges

Top tags

View all tags
11
Score
2
Posts
50
Posts %
11
Score
1
Posts
25
Posts %
11
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %

Top posts

11
Where did Tolstoy write that a man is like a fraction?
Dec 25, 2024
4
Source of three Icelandic kennings quoted (in Russian) in poem of Martynov?
Jan 11, 2023
2
"The dog gives but the cat is." What does it mean?
Feb 23, 2023
2
Name for device in "Possessions" by Hart Crane?
Nov 14, 2023

Top network posts

View all network posts
407
Pedagogy: How to cure students of the "law of universal linearity"?
289
How do you explain to a 5th grader why division by zero is meaningless?
200
How do I ask for an espresso if there's a good chance they don't know how to make it?
125
Is it unethical to take a photograph of my question sheets from a sit-down exam I've just finished if I am not allowed to take them home?
113
How to deal with a professor who grades assignments and exams incorrectly