Mathematics – Category Theory
Scientific paper
2010-07-29
Mathematics
Category Theory
28 pages, a variety of figures. Submitted for publication in the "CT2010" Special Volume of the Journal of Pure and Applied Al
Scientific paper
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.
Egger Jeff
McCurdy Micah Blake
No associations
LandOfFree
On Cyclic Star-Autonomous Categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On Cyclic Star-Autonomous Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Cyclic Star-Autonomous Categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-450558