On cyclic star-autonomous categories

DOI10.1016/j.jpaa.2012.02.011zbMath1327.18014arXiv1007.5099OpenAlexW2094816363MaRDI QIDQ456839

J. M. Egger, M. B. McCurdy

Publication date: 16 October 2012

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

Full work available at URL: https://arxiv.org/abs/1007.5099

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

A duality formalism in the spirit of Grothendieck and Verdier ⋮ On cyclic star-autonomous categories ⋮ Unnamed Item

Cites Work

• On cyclic star-autonomous categories
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Weakly distributive categories
• Natural deduction and coherence for weakly distributive categories
• The geometry of tensor calculus. I
• \(*\)-autonomous categories of bimodules
• A reflection theorem for closed categories
• Quantales and (noncommutative) linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item