Coherence for Categorified Operadic Theories

Details Coherence for Categorified Operadic Theories Coherence for Categorified Operadic Theories

2006-07-18

arxiv.org/abs/math/0607423v1

Mathematics

Category Theory

13 pages, 1 figure. Presented at 82nd PSSL, Glasgow, May 2006

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Coherence for Categorified Operadic Theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Coherence for Categorified Operadic Theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coherence for Categorified Operadic Theories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-122394