abstract:In category theory, weak n-categories are a generalization of the notion of (strict) n-category where composition is not strictly associative but only associative up to coherent equivalence. There is currently much work to determine what the coherence laws should be for those.