Towards 2-derivators for formal $\infty$-category theory

Nicola Di Vittorio

Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while t…