A category where morphisms have morphisms between them, continuing to all higher levels, with associativity up to coherent homotopy.
A category where morphisms have morphisms between them, continuing to all higher levels, with associativity up to coherent homotopy.