On cyclic star-autonomous categories

J. M. Egger; M. B. McCurdy

doi:10.1016/j.jpaa.2012.02.011

On cyclic star-autonomous categories

J. M. Egger, M. B. McCurdy^*

^*Corresponding author for this work

Research output: Contribution to journal › Article

Abstract

We discuss . cyclic star-autonomous categories, that is, unbraided star-autonomouscategories in which the left and right duals of every object . p are linked by coherent natural families of isomorphisms. 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.

Original language	English
Pages (from-to)	1706-1725
Number of pages	20
Journal	Journal of Pure and Applied Algebra
Volume	216
Issue number	8-9
DOIs	https://doi.org/10.1016/j.jpaa.2012.02.011
Publication status	Published - Aug 2012

Access to Document

10.1016/j.jpaa.2012.02.011

Link to publication in Scopus

Fingerprint Dive into the research topics of 'On cyclic star-autonomous categories'. Together they form a unique fingerprint.

Cite this

@article{efcb135f850d4c8c85029f33f42c58a4,

title = "On cyclic star-autonomous categories",

abstract = "We discuss . cyclic star-autonomous categories, that is, unbraided star-autonomouscategories in which the left and right duals of every object . p are linked by coherent natural families of isomorphisms. 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.",

author = "Egger, {J. M.} and McCurdy, {M. B.}",

year = "2012",

month = "8",

doi = "10.1016/j.jpaa.2012.02.011",

language = "English",

volume = "216",

pages = "1706--1725",

journal = "Journal of Pure and Applied Algebra",

issn = "0022-4049",

publisher = "Elsevier",

number = "8-9",

}

TY - JOUR

T1 - On cyclic star-autonomous categories

AU - Egger, J. M.

AU - McCurdy, M. B.

PY - 2012/8

Y1 - 2012/8

N2 - We discuss . cyclic star-autonomous categories, that is, unbraided star-autonomouscategories in which the left and right duals of every object . p are linked by coherent natural families of isomorphisms. 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.

AB - We discuss . cyclic star-autonomous categories, that is, unbraided star-autonomouscategories in which the left and right duals of every object . p are linked by coherent natural families of isomorphisms. 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.

UR - http://www.scopus.com/inward/record.url?scp=84861462176&partnerID=8YFLogxK

U2 - 10.1016/j.jpaa.2012.02.011

DO - 10.1016/j.jpaa.2012.02.011

M3 - Article

VL - 216

SP - 1706

EP - 1725

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

SN - 0022-4049

IS - 8-9

ER -