Coherence for Categorified Operadic Theories

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
13 pages, 1 figure. Presented at 82nd PSSL, Glasgow, May 2006

Keywords

Category Theory

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/114315

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0607423
 http://arxiv.org/abs/math/0607423

Collections

arXiv