In this paper, we consider a non-posetal analogue of the notion of involutive quantale [MP92]; specifically, a (planar) monoidal category equipped with a covariant involution that reverses the order of tensoring. We study the coherence issues that inevitably result when passing from posets to categories; we also link our subject with other notions already in the literature, such as balanced monoidal categories [JS91] and dagger pivotal categories [Se109].
|Number of pages||26|
|Journal||Theory and Applications of Categories|
|Publication status||Published - 2011|
Bibliographical noteCopyright the Author(s) . Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.
- Coherence theorems
- Dagger pivotal categories
- Involutive monoidal categories