generated at
higher category theory
Coherency (homotopy theory)