Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9497224 | Journal of Pure and Applied Algebra | 2005 | 9 Pages |
Abstract
We show that any associativity isomorphism in a category with multiplication is coherent in the sense of MacLane if the operations for building new isomorphisms from it are restricted so that tensoring with the identity is only allowed on the right instead of on both the right and the left. With this restriction, coherence is obtained without the assumption that the pentagon diagram commutes.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
Matthew G. Brin,