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.
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
Cites work
- scientific article; zbMATH DE number 5080676 (Why is no real title available?)
- scientific article; zbMATH DE number 2028927 (Why is no real title available?)
- scientific article; zbMATH DE number 218194 (Why is no real title available?)
- scientific article; zbMATH DE number 1863399 (Why is no real title available?)
- scientific article; zbMATH DE number 806526 (Why is no real title available?)
- scientific article; zbMATH DE number 2242855 (Why is no real title available?)
- A reflection theorem for closed categories
- Natural deduction and coherence for weakly distributive categories
- Nonsymmetric \(^{\ast}\)-autonomous categories
- On cyclic star-autonomous categories
- On involutive monoidal categories
- Quantales and (noncommutative) linear logic
- Star-autonomous functor categories
- The geometry of tensor calculus. I
- Weakly distributive categories
- \(*\)-autonomous categories of bimodules
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
- scientific article; zbMATH DE number 7471668 (Why is no real title available?)
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)
