Optics for Premonoidal Categories
arXiv:2305.02906 · doi:10.4204/EPTCS.397.10
Abstract
We further the theory of optics or "circuits-with-holes" to encompass premonoidal categories: monoidal categories without the interchange law. Every premonoidal category gives rise to an effectful category (i.e. a generalised Freyd-category) given by the embedding of the monoidal subcategory of central morphisms. We introduce "pro-effectful" categories and show that optics for premonoidal categories exhibit this structure. Pro-effectful categories are the non-representable versions of effectful categories, akin to the generalisation of monoidal to promonoidal categories. We extend a classical result of Day to this setting, showing an equivalence between pro-effectful structures on a category and effectful structures on its free tight cocompletion. We also demonstrate that pro-effectful categories are equivalent to prostrong promonads.
arXiv commentIn Proceedings ACT 2023, arXiv:2312.08138
References in corpus (16)
- Quantum Circuits Architecture
- Transforming quantum operations: quantum supermaps
- Enhanced 2-categories and limits for lax morphisms
- Skew-enriched categories
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Commutativity
- Open Diagrams via Coend Calculus
- Doubles for monoidal categories
- Reflections on Monadic Lenses
- Profunctor optics and traversals
- Network Models from Petri Nets with Catalysts
- Quantum Supermaps are Characterized by Locality
- Coend Optics for Quantum Combs
- On the Pre- and Promonoidal Structure of Spacetime
- Promonads and String Diagrams for Effectful Categories
- Dependent Bayesian Lenses: Categories of Bidirectional Markov Kernels with Canonical Bayesian Inversion