Travel
PLL's user avatar
PLL's user avatar
PLL's user avatar
PLL
  • Member for 10 years, 4 months
  • Last seen this week
  • Stockholm, Sweden
Profile Activity
Stats
703
reputation
13k
reached
2
answers
6
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
1
gold badge
6
silver badges
15
bronze badges
Top tags
View all tags
18
Score
1
Posts
12
Posts %
18
Score
1
Posts
12
Posts %
18
Score
1
Posts
12
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
18
Should I take my own coffee to Japan?
Feb 27, 2016
question
15
Compensation for train journey rerouting due to track-work (Sweden–Germany)?
Mar 7
question
10
Domestic flight in Australia, without passport
Jun 1, 2013
question
5
Late night taxis from San Jose Airport, Costa Rica (SJO)?
Jan 13, 2014
question
4
Passport validity rule for US citizen on short Sweden/Schengen visit?
Mar 25, 2019
question
4
UK car rental: protections against charges for damage, that was pre-existing and renter had no chance to discover at checkout?
Nov 28, 2020
question
3
Direct access from Vienna Airport to adjacent Donau-Auen national park?
Apr 27
answer
0
During the winter is it safe to rent and drive a small hatchback in Toronto/Montreal?
Jan 1
Top network posts
View all network posts
395
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.