Mathematics – Category Theory
Scientific paper
2005-01-06
Mathematics
Category Theory
8 pages, to appear in Journal of Pure and Applied Algebra
Scientific paper
The usual coherence theorem of MacLane for categories with multiplication assumes that a certain pentagonal diagram commutes in order to conclude that associativity isomorphisms are well defined in a certain practical sense. The practical aspects include creating associativity isomorphisms from a given one by tensoring with the identity on either the right or the left. We show, by reinspecting MacLane's original arguments, that if tensoring with the identity is restricted to one side, then the well definedness of constructed isomorphisms follows from naturality only, with no need of the commutativity of the pentagonal diagram. This observation was discovered by noting the resemblance of the usual coherence theorems with certain properties of a finitely presented group known as Thompson's group F. This paper is to be taken as an advertisement for this connection.
No associations
LandOfFree
Coherence of Associativity in Categories with Multiplication 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 of Associativity in Categories with Multiplication, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coherence of Associativity in Categories with Multiplication will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-293065