Doubles for monoidal categories
From MaRDI portal
Abstract: In a recent paper, Daisuke Tambara defined two-sided actions on an endomodule (= endodistributor) of a monoidal V-category A. When A is autonomous (= rigid = compact), he showed that the V-category (that we call Tamb(A)) of so-equipped endomodules (that we call Tambara modules) is equivalent to the monoidal centre Z[A,V] of the convolution monoidal V-category [A,V]. Our paper extends these ideas somewhat. For general A, we construct a promonoidal V-category DA (which we suggest should be called the double of A) with an equivalence [DA,V] simeq Tamb(A). When A is closed, we define strong (respectively, left strong) Tambara modules and show that these constitute a V-category Tamb_s(A) (respectively, Tamb_{ls}(A)) which is equivalent to the centre (respectively, lax centre) of [A,V]. We construct localizations D_s A and D_{ls} A of DA such that there are equivalences Tamb_s(A) simeq [D_s A,V] and Tamb_{ls}(A) simeq [D_{ls} A,V]. When A is autonomous, every Tambara module is strong; this implies an equivalence Z[A,V] simeq [DA,V].
Recommendations
- Double construction for monoidal categories
- Monads in double categories
- A morphism double category and monoidal structure
- Quantum doubles in monoidal categories
- Monoidal categories
- scientific article; zbMATH DE number 1340211
- On dualizable objects in monoidal bicategories
- scientific article; zbMATH DE number 65569
- The Gray monoidal product of double categories
- scientific article; zbMATH DE number 193044
Cited in
(21)- Double construction for monoidal categories
- The Gray monoidal product of double categories
- Double centraliser property and morphism categories
- Dual weak rigid monoidal module category
- Relating idioms, arrows and monads from monoidal adjunctions
- scientific article; zbMATH DE number 5076886 (Why is no real title available?)
- Notions of computation as monoids
- Open diagrams via coend calculus
- Compositional game theory, compositionally
- Augmented virtual double categories
- Double Solids, Categories and Non-Rationality
- Relative Serre functor for comodule algebras
- Coend Optics for Quantum Combs
- Bidirectional processes -- in category theory, physics, engineering, \dots
- The game semantics of game theory
- String diagrams for optics
- Optics for premonoidal categories
- A profunctorial semantics for quantum supermaps
- On graded monads, distributive laws and costrong functors
- Double bicategories and double cospans
- Commutativity
This page was built for publication: Doubles for monoidal categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3503831)