Skip to main content
Science Fiction & Fantasy
PLL's user avatar
PLL's user avatar
PLL's user avatar
PLL
  • Member for 13 years, 5 months
  • Last seen this week
  • Stockholm, Sweden
Profile Activity
Stats
2,190
reputation
110k
reached
8
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
2
gold badges
15
silver badges
21
bronze badges
Top tags
View all tags
74
Score
2
Posts
17
Posts %
73
Score
1
Posts
8
Posts %
73
Score
1
Posts
8
Posts %
43
Score
3
Posts
25
Posts %
24
Score
2
Posts
17
Posts %
24
Score
2
Posts
17
Posts %
Top posts
View all questions and answers
73
What does "Et In Arcadia, Ego" refer to?
Mar 20, 2020
68
When Frodo offers her the ring, is Galadriel really tempted, or just making a point?
Apr 20, 2015
24
What does it mean when Faramir says "I would not snare even an orc with a falsehood"?
Mar 5
20
What is the earliest science fiction work that depicts a world where humans are subjugated to another earthly species?
Aug 30, 2017
16
What is the first instance where Familiars are called Familiars?
Jul 16, 2015
7
Young adult novel with cat-aliens and dog-aliens, turn out to be basis of biblical angels and devils
Feb 13, 2023
7
First science fiction movie or tv show that had a complete language created for it?
Nov 24, 2020
4
Character leaves singing "When you walk through the storm, hold your head up high…”
Aug 13, 2015
4
What is the city at the end of "Twice upon a time"?
Jan 1, 2018
4
How is Superman able to judge the fragility of things or the weight of objects?
Jun 13, 2020
Top network posts
View all network posts
401
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?
111
How to deal with a professor who grades assignments and exams incorrectly