01
Art
02
Computing
03
Logic
04
Math
Mapping spaces in higher category theory
4 years ago