Ask Different
Profile Activity
Meta user
Network profile
399
reputation
2
13

PLL

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.

1
answer
7
questions
~96k
people reached
  • Stockholm, Sweden
  • Member for 8 years, 5 months
  • 33 profile views
  • Last seen 4 hours ago

Communities (100)

Top network posts

Top tags (23)

Score 23
Posts 2
Posts % 25
Score 23
Posts 1
Score 23
Posts 1
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (8)

All Questions Answers
Votes Newest
23 Type Lambda λ on a Mac? Mar 10 '16
2 Import selected items from one iTunes library to another, with metadata Aug 20 '15
1 Safe to change permissions/ACLs for `~/.ssh/known_hosts`? Nov 25 '15
1 Display PDF slides via HDMI projector, controlled from iPad/iPhone, either directly or via MacBook Jun 22 '19
1 How to download an iPhone backup from iCloud to my Mac? May 27 '20
0 How to troubleshoot 2013 Mac Pro without working display? (Recent MacBooks + iPads available if helpful; Catalina/Big Sur) Feb 7
0 Recover deleted user data — user deleted via System Prefs with “Delete home folder” Mar 20 '20
0 Recurring problems with gmail on iPhone Dec 10 '15

Badges (15)

Gold

—

Silver

2

Rarest

Bronze

13

Rarest

View all badges →

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.