On cyclic star-autonomous categories

DOI10.1016/J.JPAA.2012.02.011zbMATH Open1327.18014arXiv1007.5099OpenAlexW2094816363MaRDI QIDQ456839FDOQ456839

Authors: J. M. Egger, M. B. McCurdy 

Publication date: 16 October 2012

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

Abstract: We discuss cyclic star-autonomous categories; that is, unbraided star- autonomous categories in which the left and right duals of every object p are linked by coherent natural isomorphism. We settle coherence questions which have arisen concerning such cyclicity isomorphisms, and we show that such cyclic structures are the natural setting in which to consider enriched profunctors. Specifically, if V is a cyclic star-autonomous category, then the collection of V-enriched profunctors carries a canonical cyclic structure. In the case of braided star-autonomous categories, we discuss the correspondences between cyclic structures and balances or tortile structures. Finally, we show that every cyclic star-autonomous category is equivalent to one in which the cyclicity isomorphisms are identities.

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

Recommendations

• Coherence for star-autonomous categories
• Simple free star-autonomous categories and full coherence
• Proof-net categories
• Coherence of proof-net categories
• Star-autonomous functor categories
• scientific article; zbMATH DE number 1497809
• scientific article; zbMATH DE number 3558028
• Autocategories. I. A common setting for knots and 2-categories
• Natural deduction and coherence for weakly distributive categories
• Coherence in substructural categories

Mathematics Subject Classification ID

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

Cites Work

• The geometry of tensor calculus. I
• Weakly distributive categories
• Quantales and (noncommutative) linear logic
• A reflection theorem for closed categories
• Natural deduction and coherence for weakly distributive categories
• Title not available (Why is that?)
• Nonsymmetric \(^{\ast}\)-autonomous categories
• On involutive monoidal categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(*\)-autonomous categories of bimodules
• Title not available (Why is that?)
• Star-autonomous functor categories
• Title not available (Why is that?)
• On cyclic star-autonomous categories
• Title not available (Why is that?)

Cited In (6)

• Closed categories, star-autonomy, and monoidal comonads
• On cyclic star-autonomous categories
• A duality formalism in the spirit of Grothendieck and Verdier
• On *-autonomous categories of topological vector spaces
• Star-autonomous functor categories
• Title not available (Why is that?)

This page was built for publication: On cyclic star-autonomous categories

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