Braided premonoidal Mac Lane coherence

Given a category with a bifunctor and natural isomorphisms for associativity, commutativity and left and right identity we do not assume that extra constraining diagrams hold. We introduce groupoids of coupling trees to describe versions of coherence that are weaker than the usual notion of Mac Lane...

Full description

Saved in:
Bibliographic Details
Published in:Journal of pure and applied algebra 2004-06, Vol.190 (1), p.155-176
Main Author: Joyce, William P.
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Given a category with a bifunctor and natural isomorphisms for associativity, commutativity and left and right identity we do not assume that extra constraining diagrams hold. We introduce groupoids of coupling trees to describe versions of coherence that are weaker than the usual notion of Mac Lane's monoidal coherence.
ISSN:0022-4049
1873-1376
DOI:10.1016/j.jpaa.2003.11.003