Coherence and Confluence

Simple item page
dc.creatorDosen, K.
dc.creatorPetric, Z.
dc.date2005-06-15
dc.date2005-07-21
dc.date.accessioned2026-07-07T05:20:47Z
dc.date.available2026-07-07T05:20:47Z
dc.descriptionProofs 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.
dc.description11 pages, updated references
dc.identifierhttps://arxiv.org/abs/math/0506310
dc.identifierhttp://arxiv.org/abs/math/0506310
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/75505
dc.subjectCategory Theory
dc.subjectLogic
dc.subject18A15; 18D10; 03B40; 03D03
dc.titleCoherence and Confluence
dc.typetext

Files

Collections

arXiv