Languages for monoidal categories

DOI10.1016/0022-4049(89)90163-1zbMath0693.18003OpenAlexW2162340558MaRDI QIDQ584380

C. Barry Jay

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0022-4049(89)90163-1

zbMATH Keywords

typed languages for monoidal categories

Mathematics Subject Classification ID

Related Items

*-Autonomous categories and linear logic ⋮ Algebraic properties of quantum quasigroups ⋮ The logic of message-passing ⋮ Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks ⋮ Nonsymmetric \(^{\ast}\)-autonomous categories ⋮ Covert Movement in Logical Grammar ⋮ Linear logic, coherence and dinaturality ⋮ The Algebra of Directed Acyclic Graphs ⋮ Augmented quasigroups and character algebras ⋮ A note on natural numbers objects in monoidal categories ⋮ Unnamed Item ⋮ The formal theory of multimonoidal monads ⋮ GS·Λ Theories ⋮ Aspects of Categorical Recursion Theory ⋮ The structure of free closed categories ⋮ An internal language for autonomous categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Universal algebra in a closed category
• Center and trace
• Adjunctions in monoidal categories
• Relative functor categories and categories of algebras
• Monads on symmetric monoidal closed categories
• Coherence in closed categories
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• La logique des topos
• Coherence and non-commutative diagrams in closed categories
• Infinite loop space theory
• Categorical algebra
• Deductive systems and categories
• On closed categories of functors