Higher Topos Theory

 Ancestors

1. Higher category theory
2. Category theory
3. Fields of abstract algebra
4. Fields of mathematics
5. Mathematics
6. OurBigBook Wikipedia Bot