Skip to main content
Mathematics
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine
  • Member for 13 years, 9 months
  • Last seen this week
Profile Activity
Stats
9,812
reputation
406k
reached
116
answers
4
questions
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
6
gold badges
29
silver badges
61
bronze badges
Top tags
View all tags
105
Score
17
Posts
14
Posts %
81
Score
13
Posts
11
Posts %
64
Score
12
Posts
10
Posts %
57
Score
5
Posts
4
Posts %
50
Score
9
Posts
8
Posts %
38
Score
7
Posts
6
Posts %
Top posts
View all questions and answers
401
Pedagogy: How to cure students of the "law of universal linearity"?
Jan 7, 2014
288
How do you explain to a 5th grader why division by zero is meaningless?
Aug 15, 2018
42
An interesting problem with "decomposing" natural numbers.
Oct 29, 2020
26
Given an infinite number of monkeys and an infinite amount of time, would one of them write Hamlet?
Jan 13, 2011
24
A polynomial is completely determined by any part of it
Dec 14, 2019
21
Which step in this process allows me to erroneously conclude that $i = 1$
Nov 22, 2011
21
In category theory why is a right adjoint not a left adjoint?
Nov 22, 2011
20
Direct sums and direct products
Dec 1, 2012
19
Is every monoid isomorphic to its opposite
Sep 4, 2013
17
Where is the mistake in the argument in favor of the (erroneous) claim "every Dedekind cut is a rational cut"?
May 11
Top Meta posts
1
0
7
New tags: [gaussian-elimination]?
Top network posts
View all network posts
200
How do I ask for an espresso if there's a good chance they don't know how to make it?
124
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?
111
How to deal with a professor who grades assignments and exams incorrectly
89
My name was omitted from a paper I (mostly) authored - what should I do?
73
What does "Et In Arcadia, Ego" refer to?