Coherence completions of categories
type: Item
instance of: scholarly article
title: Coherence completions of categories
zbMATH Open document ID: 0974.03052
DOI: 10.1016/S0304-3975(99)00051-1
author: Hongde Hu
author: André Joyal
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
review text: A new construction for creating models of linear logic, the coherence completion of a category is introduced. If \({\mathbb C}\) is monoidal closed or \(*\)-autonomous the same is true for its coherence completion; if it is a model of linear logic, then so is its coherence completion. If \({\mathbb C}\) is an arbitrary category, the category of \({\mathbb C}\)-coherence spaces is introduced. Each \({\mathbb C}\)-coherence space consists of a coherence space and a family of objects in \({\mathbb C}\); each \({\mathbb C}\)-linear morphism is a linear morphism together with a family of arrows in \({\mathbb C}\). The category of coherence spaces \(\text{Coh}\) is viewed as \(\text{Coh}\{*\}\). The main techniques used are the categorically enriched structures. \(\text{Coh}({\mathbb C})\) is a category enriched over the category \(\text{Set}_*\) of pointed sets as well as over \(\text{Coh}\). With the approach of \(\text{Coh}({\mathbb C})\) enriched over \(\text{Set}_*\), the full subcategory of \(\text{Coh}({\mathbb C})\) whose objects are contractible \({\mathbb C}\)-coherence spaces is exactly the free bicomplete category of \({\mathbb C}\) under the zero object, products and coproducts. When \(\text{Coh}({\mathbb C})\) is regarded as enriched over \(\text{Coh}\), the coherence completion is presented as a monad on the category of categories and functors. A key idea explored in the paper is the enriched softness between products and coproducts. (The property that means that each linear morphism factors through either a product projection or a coproduct injection.) There is a connection with Abramsky's interaction categories. The main difference is that the interaction categories admit (weak) biproducts which is not necessarily the case in \(\text{Coh}({\mathbb C})\). Softness between external tensor and external par is also studied. It makes further connections to Cockett and Seely's work on weakly distributive categories and Hyland and de Paiva's work on tensor-par l…
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 18A35
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 18D20
zbMATH DE Number: 1495170
zbMATH Keywords: coherence spaces
zbMATH Keywords: models of linear logic
zbMATH Keywords: softness
zbMATH Keywords: coherence completion of a category
reviewed by: Serguei V. Solov'ev
MaRDI profile type: Publication
full work available at URL: s0304-3975(99)00051-1
OpenAlex ID: W1963733392
Recommended article: Q4222890
Recommended article: Coherence in substructural categories
Recommended article: Coherence in category theory and the Church-Rosser property
Recommended article: Q3974848
Recommended article: On the conditions of full coherence in closed categories
Recommended article: Q3726315
Recommended article: Q3470629
Recommended article: Coherence for closed categories with biproducts
Recommended article: Coherence of proof-net categories
Recommended article: Cohomologies et extensions de catégories.
description: scientific article; zbMATH DE number 1495170