Peter LeFanu Lumsdaine

3,560 reputation

1332

bio	website	peterlefanulumsdaine.com
	location	Stockholm, Sweden
	age	32
visits	member for	5 years, 3 months
	seen	24 mins ago
stats	profile views	2,828

Mathematician, math.LO/math.CT, currently postdoc 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,560 reputation	bio	website	peterlefanulumsdaine.com	visits	member for	5 years, 3 months
1332 badges		location	Stockholm, Sweden		seen	24 mins ago

summary answers questions tags badges favorites bounties reputation activities

59 Answers

votes activity newest

28	Why are matrices ubiquitous but hypermatrices rare?
21	Sexy vacuity …
17	Is there a “disjoint union” sigma algebra?
15	Abstract Thought vs Calculation
13	Can we have A={A} ?

3,560 Reputation

+70	Has anyone read/debunked Yessenin-Volpin–Hennix “Beware of the Gödel-Wette paradox”?
+10	Characterization of Kleisli adjunctions
+2	discrete-morse-theory tag wiki
+2	discrete-morse-theory tag wiki excerpt

7 Questions

votes activity newest

30	Non-examples of model structures, that fail for subtle/surprising reasons?
14	Has anyone read/debunked Yessenin-Volpin–Hennix “Beware of the Gödel-Wette paradox”?
12	Is every connected space equivalent to some B(Aut(X))?
9	Historical quotation search: Equations/formulae in (Latin?) prose, before modern symbolic notation
8	Can we always make a strictly functorial choice of pullbacks/re-indexing?

50 Tags

146 ct.category-theory × 39	28 linear-algebra
52 set-theory × 9	21 at.algebraic-topology × 7
45 lo.logic × 12	17 higher-category-theory × 5
37 soft-question × 4	17 gn.general-topology × 2
28 tensor	17 reference-request × 2