Weak n-category

From Wikipedia, the free encyclopedia

In category theory, weak n-categories are a generalization of the notion of n-category where composition is not strictly associative but only associative up to an isomorphism, which is itself associative up to an isomorphism, which is itself... There is currently much work to determine what the coherence laws should be for those.