Coherence for categorified operadic theories
Given an algebraic theory which can be described by a (possibly symmetric) operad P, we propose a definition of the weakening (or categorification) of the theory, in which equations that hold strictly for P -algebras hold only up to coherent isomorphism. This generalizes the theories of monoidal cat...
| Main Author: | |
|---|---|
| Published: |
University of Glasgow
2008
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.495403 |