TeX - LaTeX
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, 1 month
  • Last seen this week
Profile Activity
Stats
4,209
reputation
93k
reached
9
answers
43
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
3
gold badges
31
silver badges
49
bronze badges
Top tags
View all tags
16
Score
3
Posts
6
Posts %
4
Score
4
Posts
8
Posts %
4
Score
3
Posts
6
Posts %
0
Score
6
Posts
12
Posts %
0
Score
5
Posts
10
Posts %
0
Score
4
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
40
Is this a junk preamble?
Jun 1, 2021
question
37
Redundancy in bib file: conditionally suppress url if same as doi?
Nov 19, 2010
question
27
Align large vertical delimiters (brackets) to rows of a table?
Apr 8, 2011
question
19
List section in pdf bookmarks, but omit in LaTeX table of contents
Apr 10, 2013
question
18
Selecting main math font in LuaTeX?
Nov 14, 2011
answer
16
How can I write a macro which enters math mode when called in text mode but when called in mathmode doesn't break?
Apr 20, 2015
question
16
Any difference between \newcommand{\foo}{foo} and \newcommand{\foo}[0]{foo}?
Jan 23, 2017
question
14
Using tikzcd in newcommand (for inline arrows)
Dec 20, 2012
question
11
How to number floats in sequence with theorems?
Nov 12, 2010
question
11
How to centre my display math overfull hboxes?
Nov 15, 2010
Top Meta posts
1
7
29
My question was already asked, but its accepted answer doesn’t suit me
16
Should AI answers be banned?
15
How to choose between two equally good and equally helpful answers
13
Request for revert of the top bar background colour
5
Do we want to volunteer to test the lowered voting privilege?
Top network posts
View all network posts
397
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?
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?
110
How to deal with a professor who grades assignments and exams incorrectly

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.