Abstract
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].
| Original language | English |
|---|---|
| Pages (from-to) | 368-393 |
| Number of pages | 26 |
| Journal | Theory and Applications of Categories |
| Volume | 25 |
| Issue number | 14 |
| Publication status | Published - 2011 |
Bibliographical note
Copyright the Author(s) [2011]. 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.Keywords
- Balances
- Braidings
- Coherence theorems
- Dagger pivotal categories
- Involutive monoidal categories