# nLab bimodel

Let $A$ and $B$ be algebraic theories. The category $\left[A,B\right]$ of $\left(A,B\right)$-bimodels and their homomorphisms is the category of $A$-models and homomorphisms in $B{\mathrm{Mod}}^{\mathrm{op}}$. An alternative description is that is a co-$A$-model in $B\mathrm{Mod}$. Each such bimodel $M$ determines and is determined by a pair of adjoint functors

${\mathrm{Hom}}_{B}\left(M,?\right):B\mathrm{Mod}\to A\mathrm{Mod}$Hom_B(M,?): B Mod \to A Mod
$M{\otimes }_{A}?:A\mathrm{Mod}\to B\mathrm{Mod}$M\otimes_A ?: A Mod \to B Mod

Composition of such adjoint pairs yields a functor

${\otimes }_{B}:\left[B,C\right]×\left[A,B\right]\to \left[A,C\right]$\otimes_B: [B,C]\times [A,B] \to [A,C]

The category $\left[A,A\right]$ has a unit object – it would be churlish not to overload our notation yet further by calling it $A$, corresponding to the fact that the free $A$-model on one generator has a canonical co-$A$-structure.

So we have a bicategory; the 0-cells are algebraic theories, the 1-cells are bimodels and the 2-cells are homomorphisms of bimodels. Consider a monad in this bicategory: an algebraic theory $A$, an $\left(A,A\right)$-bimodel $M$, and homomorphisms $\eta :A\to M$, $\mu :M{\otimes }_{A}M\to M$ satisfying the usual rules. A module of this monad is given by an $A$-model $B$ together with an action $M{\otimes }_{A}B\to B$ satisfying the usual rules. It should be clear that such modules are models of an algebraic theory, which we shall confusingly denote by $M$. This theory is an extension of $A$ by unary operations (the elements of the underlying set of the underlying $A$-model of the underlying $\left(A,A\right)$-bimodel of the monad). The rules for composing them are given by $\mu$. They satisfy distributive laws over the operations of $A$ given by the co-$A$-structure of $M$.

We may overload $\eta$ to refer both to a homomorphism of bimodels and to a map of algebraic theories. The forgetful functor $M\mathrm{Mod}\to A\mathrm{Mod}$ has for its left adjoint the functor $M{\otimes }_{A}?$, but it also has a right adjoint ${\mathrm{Hom}}_{A}\left(M,?\right)$. So in this case the forgetful functor preserves colimits as well as limits. In fact all maps of theories whose associated forgetful functors have right adjoints must arise from such a monad in the bicategory of bimodels.

I would like some snappier terminology at this point. What should we call these monads in the bicategory of bimodels? If we use words like algebra or monad our rickety overloaded onomastic scaffolding starts to creak ominously. Put on your hard hats. We are in territory where to discriminate too meticulously between different views of the same thing is to invite fuddlement. And yet we have to hold in our heads that isomorphism is not equality, and that too cavalier an approach to identification can sometimes lead to error.

If $A$ were a ring, then I'd call $M$ an ‘$A$-algebra’. Unfortunately, that term can also be used for an $A$-model. Also, even in ring theory, that term is usually only used when $A$ is commutative. One might, following ‘bimodule’ (and ‘bimodel’) say ‘bialgebra’ in that case, but that also has another meaning. So let's give up in that direction.

But it seems OK to me to call it an ‘$A$-monad’. —Toby

This fits with the fact that $M$ is an extension of $A$ by unary operations, so one should be reminded of monoids, maybe? —Gavin

Revised on June 24, 2009 20:12:38 by Gavin Wraith (80.229.242.93)