Ideathe generalization of category theory to a context where there are not only morphisms between objects, but generally k-morphisms between k-1-morphisms, for all k∈Nk \in \mathbb{N}k∈N.