Simple free star-autonomous categories and full coherence

DOI10.1016/J.JPAA.2012.03.020zbMATH Open1264.18009arXivmath/0506521OpenAlexW2152113165MaRDI QIDQ1936110FDOQ1936110

Dominic J. D. Hughes

Publication date: 21 February 2013

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: This paper gives a simple presentation of the free star-autonomous category over a category, based on Eilenberg-Kelly-MacLane graphs and Trimble rewiring, yielding a full coherence theorem: the commutativity of diagrams of canonical maps is decidable.

Full work available at URL: https://arxiv.org/abs/math/0506521

zbMATH Keywords

Eilenberg-Kelly-MacLane graphstar-autonomous categoryTrimble rewiring

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cites Work

• The geometry of tensor calculus. I
• Braided tensor categories
• Linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• Traced monoidal categories
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Retracing some paths in process algebra
• Coherence for compact closed categories
• Natural deduction and coherence for weakly distributive categories
• The structure of multiplicatives
• A generalization of the functorial calculus
• Coherence in closed categories
• Linear logic, coherence and dinaturality
• Exhausting strategies, joker games and full completeness for IMLL with unit
• Computer Science Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• Title not available (Why is that?)
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• A categorical semantics for polarized MALL
• Closed categories, star-autonomy, and monoidal comonads
• Deep inference and expansion trees for second-order multiplicative linear logic
• Proof Nets, Coends and the Yoneda Isomorphism
• Proof nets and semi-star-autonomous categories
• On cyclic star-autonomous categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(\ast\)-autonomous envelopes and conservativity
• Title not available (Why is that?)

This page was built for publication: Simple free star-autonomous categories and full coherence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1936110)