Coherence for Categorified Operadic Theories Export

@misc{citeulike:764174, abstract = {It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a definition of weak P-category for any strongly regular (operadic) theory P, and show that every weak P-category is equivalent via P-functors and P-transformations to a strict P-category. This strictification functor is then shown to have an interesting universal property.}, archivePrefix = {arXiv}, author = {Gould, Miles}, citeulike-article-id = {764174}, citeulike-linkout-0 = {http://arxiv.org/abs/math/0607423}, citeulike-linkout-1 = {http://arxiv.org/pdf/math/0607423}, day = {18}, eprint = {math/0607423}, keywords = {coherence, operads}, month = {Jul}, posted-at = {2006-07-19 10:11:14}, priority = {3}, title = {Coherence for Categorified Operadic Theories}, url = {http://arxiv.org/abs/math/0607423}, year = {2006} }

TY - ELEC ID - citeulike:764174 L3 - citeulike-article-id:764174 N2 - It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a definition of weak P-category for any strongly regular (operadic) theory P, and show that every weak P-category is equivalent via P-functors and P-transformations to a strict P-category. This strictification functor is then shown to have an interesting universal property. TI - Coherence for Categorified Operadic Theories KW - coherence KW - operads AU - Gould, Miles PY - 2006/Jul/18/ UR - http://arxiv.org/abs/math/0607423 ER -