Coherence in Nonmonoidal Closed Categories

DOI10.2307/1997720MaRDI QIDQ4092159zbMATH OpenOpenAlexFDO

Authors Miguel L. Laplaza

Publication date 1977

Full work available at URL https://doi.org/10.2307/1997720

Mathematics Subject Classification ID

Embedding theorems, universal categories (18B15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)

Cites work

• A generalization of the functorial calculus
• Coherence for associativity not an isomorphism
• Coherence for categories with associativity, commutativity and distributivity
• Coherence in closed categories
• Deductive systems and categories
• Embedding of Closed Categories Into Monoidal Closed Categories
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3382585 (Why is no real title available?)
• scientific article; zbMATH DE number 3384257 (Why is no real title available?)
• scientific article; zbMATH DE number 3384258 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• scientific article; zbMATH DE number 3385870 (Why is no real title available?)
• Topology and logic as a source of algebra
• Untersuchungen über das logische Schliessen. I

Cited in

(7)

• Examples of non-monadic structures on categories
• Eilenberg-Kelly reloaded
• Can a quantum computer run the von Neumann architecture?
• On strictifying extensional reflexivity in compact closed categories
• Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
• Deductive systems and coherence for skew prounital closed categories
• The structure of free closed categories

This page was built for publication: Coherence in Nonmonoidal Closed Categories

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