Coherence in Nonmonoidal Closed Categories

DOI10.2307/1997720zbMath0327.18009OpenAlexW4235669908MaRDI QIDQ4092159

Miguel L. Laplaza

Publication date: 1977

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

Mathematics Subject Classification ID

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

Related Items

Eilenberg-Kelly reloaded, Examples of non-monadic structures on categories, Can a Quantum Computer Run the von Neumann Architecture?, The structure of free closed categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Untersuchungen über das logische Schliessen. I
• A generalization of the functorial calculus
• Coherence in closed categories
• Coherence for associativity not an isomorphism
• Topology and logic as a source of algebra
• Embedding of Closed Categories Into Monoidal Closed Categories
• Deductive systems and categories
• Coherence for categories with associativity, commutativity and distributivity