2005/06/15 by K. Dosen, Dosen, K., Z. Petric +1
Mathematics · #03B40 #03D03 #18A15 #18D10 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #math.CT #math.LO #msc:03B40 #msc:03D03 #msc:18A15 #msc:18D10
paper · pdf · doi:10.48550/arxiv.math/0506310
11 pages, updated references
arxiv created 2005/07/21 · arxiv updated 2009/12/01
Proofs of coherence in category theory, starting from Mac Lane's original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what one finds in the lambda calculus, or in term-rewriting systems in general. This applies to coherence results that assert that a category is a preorder, i.e. that ``all diagrams commute''. This note is about this analogy, paying particular attention to cases where the category for which coherence is proved is not a groupoid.