# nLab Tambara module

Contents

### Context

#### Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

# Contents

## Idea

A Tambara module is a profunctor endowed with additional structure that makes it interact nicely with the action of a monoidal category. In other words, Tambara modules generalize profunctors from categories to actegories. Tambara modules are used in the theory of optics (in computer science).

## Definition

###### Definition

Let $(\mathbf M, i, \odot)$ be a monoidal category, let $\mathbf C$ and $\mathbf D$ be two left $\mathbf M$-actegories (in other terminology, left $\mathbf M$-modules). We denote $\mathbf M$ actions by $(-)\cdot (-)$.

A (left) Tambara module is a profunctor $P \,\colon\, \mathbf C^{op} \times \mathbf D \to \mathbf{Set}$ equipped with a family of morphisms called (left) strength

$s_{a,b,m} \,\colon\, P(a,b) \longrightarrow P(m \cdot a, m \cdot b)$

which is natural in $a$ and $b$ and dinatural in $m$, and satisfies two coherence laws:

1. $s_{a,b,i} = P(\rho_a, \rho_b^{-1})$, where $\rho$ comes with the module structures of $\mathbf C$ and $\mathbf D$.

2. $s_{a,b,m \odot n} = P(\mu^{-1}_{m,n,a}, \mu_{m,n,b}) \circ s_{a,b,m} \circ s_{a,b,n}$ where $\mu$ comes with the module structures of $\mathbf C$ and $\mathbf D$.

This is same thing as (left) strong profunctors.

A right Tambara module is defined in the exact way except $\mathbf C$ and $\mathbf D$ are assumed to be right $\mathbf M$-actegories and everything is correspondigly ‘done on the other side’.

###### Definition

Suppose now $\mathbf C$ and $\mathbf D$ have both left and right $\mathbf M$-actegories structures. A Tambara bimodule is a profunctor $P : \mathbf C^{op} \times \mathbf D \to \mathbf{Set}$ equipped with compatible left and right Tambara module structures $s$ and $s'$, i.e. such that they satisfy

$s'_{m \cdot a, m \cdot b, n} \circ s_{a,b,m} = s_{a \cdot n, b \cdot n, m} \circ s'_{a,b,n}$

###### Definition

Let $P, Q: \mathbf C^{op} \times \mathbf D \to \mathbf{Set}$ be (left) Tambara modules. A morphism of Tambara modules $\alpha : P \to Q$ is a natural transformation $P \Rightarrow Q$ that commutes with $P$ and $Q$‘s strenghts:

$\alpha_{a,b} \circ s^P_{a,b,m} = s^Q_{a,b,m} \circ \alpha_{m \cdot a,m \cdot b}$

###### Remark

Tambara modules are named after Daisuke Tambara who introduced them in Tamb06 to prove that for a $\mathbf V$-enriched category $\mathbf A$, $Z(\mathbf A^{op}, \mathbf V) \cong \mathbf{Tamb}(\mathbf A, \mathbf A)$.

###### Remark

Both Tamb06 and PS07 define Tambara module to mean Tambara bimodule. In the optical literature, however, left Tambara modules are called simply modules and they are the one used. This doesn’t pose any problem when $\mathbf M$ is symmetric monoidal since it’s evident how, in that case, any left module structure can be made into a right module structure, so that any left/right module is automatically a bimodule.