Simple free star-autonomous categories and full coherence

DOI10.1016/J.JPAA.2012.03.020MaRDI QIDQ1936110zbMATH OpenOpenAlexFDO

Authors Dominic J. D. Hughes

Publication date 21 February 2013

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

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)

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.

Review text

Eilenberg-Kelly-MacLane graphs [\textit{S. Eilenberg} and \textit{G. M. Kelly}, J. Algebra 3, 366--375 (1966; Zbl 0146.02501)] describe certain morphisms of closed categories. The author gives a simple presentation of the free star-autonomous category [\textit{M. Barr}, Lect. Notes Math. 752 (1966; Zbl 0415.18008)] generated by a category yielding a full coherence theorem: the commutativity of diagrams of canonical maps is decidable.

Recommendations

• Coherence for star-autonomous categories
• Natural deduction and coherence for weakly distributive categories
• Proof-net categories
• scientific article; zbMATH DE number 5080676
• Coherence in substructural categories

Cites work

• A generalization of the functorial calculus
• Bounded linear logic: A modular approach to polynomial-time computability
• Braided tensor categories
• Coherence for compact closed categories
• Coherence in closed categories
• Computer Science Logic
• Exhausting strategies, joker games and full completeness for IMLL with unit
• scientific article; zbMATH DE number 5080676 (Why is no real title available?)
• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 1943957 (Why is no real title available?)
• scientific article; zbMATH DE number 1497809 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Linear logic
• Linear logic, coherence and dinaturality
• Natural deduction and coherence for weakly distributive categories
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Retracing some paths in process algebra
• The geometry of tensor calculus. I
• The structure of multiplicatives
• Topological -autonomous categories
• Traced monoidal categories

Cited in

(16)

• Coherence for star-autonomous categories
• On cyclic star-autonomous categories
• scientific article; zbMATH DE number 7359406 (Why is no real title available?)
• scientific article; zbMATH DE number 7441265 (Why is no real title available?)
• Proof nets, coends and the Yoneda isomorphism
• A categorical reduction system for linear logic
• Coherence for Frobenius pseudomonoids and the geometry of linear proofs
• Deep inference and expansion trees for second-order multiplicative linear logic
• Proof nets and semi-star-autonomous categories
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• -autonomous envelopes and conservativity
• Coherence by normalization for linear multicategorical structures
• Type isomorphisms for multiplicative-additive linear logic
• On the conditions of full coherence in closed categories
• Closed categories, star-autonomy, and monoidal comonads
• A categorical semantics for polarized MALL

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)