01
art
02
computing
03
logic
04
math
Mapping spaces in higher category theory
4 years ago