Coherence in Substructural Categories

Simple item page
dc.creatorPetric, Z.
dc.date2000-06-08
dc.date.accessioned2026-07-07T04:35:47Z
dc.date.available2026-07-07T04:35:47Z
dc.descriptionIt is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with ``graphs'' (g-natural transformations), and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.
dc.description19 pages
dc.identifierhttps://arxiv.org/abs/math/0006061
dc.identifierhttp://arxiv.org/abs/math/0006061
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/59375
dc.subjectCategory Theory
dc.titleCoherence in Substructural Categories
dc.typetext

Files

Collections

arXiv