Simple free star-autonomous categories and full coherence
type: Item
instance of: scholarly article
title: Simple free star-autonomous categories and full coherence
zbMATH Open document ID: 1264.18009
author: Dominic J. D. Hughes
published in: Journal of Pure and Applied Algebra
publication date: 2013-02-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0506521
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.
reviewed by: Marek Golasiński
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 6138020
zbMATH Keywords: Eilenberg-Kelly-MacLane graph
zbMATH Keywords: star-autonomous category
zbMATH Keywords: Trimble rewiring
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2152113165
arXiv ID: math/0506521
cites work: Retracing some paths in process algebra
cites work: Q3411960
cites work: Natural deduction and coherence for weakly distributive categories
cites work: Linear logic, coherence and dinaturality
cites work: Q4410005
cites work: Q3413926
cites work: Q4342439
cites work: The structure of multiplicatives
cites work: A generalization of the functorial calculus
cites work: Linear logic
cites work: Q3824307
cites work: Q4896506
cites work: Bounded linear logic: A modular approach to polynomial-time computability
cites work: The geometry of tensor calculus. I
cites work: Braided tensor categories
cites work: Traced monoidal categories
cites work: On MacLane's conditions for coherence of natural associativities, commutativities, etc
cites work: Coherence for compact closed categories
cites work: Coherence in closed categories
cites work: Q4499227
cites work: Computer Science Logic
cites work: Q5639839
cites work: Exhausting strategies, joker games and full completeness for IMLL with unit
cites work: Q4255509
DOI: 10.1016/J.JPAA.2012.03.020
description: scientific article