Skip to main content
added 1 character in body
Source Link
David White
  • 30.3k
  • 9
  • 154
  • 250

Let $\mathcal{M}$ be a cocomplete closed symmetric monoidal category. Let $A, B$ be monoids in $\mathcal{M}$ and $f: A \rightarrow B$ be a morphism of monoids. The morphism $f$ induces the extension of scalars functor and the restriction of scalars functor between the categories ${_A\mathrm{Mod}}$ of left $A$-modules and ${_B\mathrm{Mod}}$ of left $B$-modules. These functors form an adjunction between these categories. I am looking for a reference tofor this adjunction.

In other words, I am looking for a reference to the change of rings adjunction but in the more general case of monoids in a cocomplete closed symmetric monoidal category.

Let $\mathcal{M}$ be a cocomplete closed symmetric monoidal category. Let $A, B$ be monoids in $\mathcal{M}$ and $f: A \rightarrow B$ be a morphism of monoids. The morphism $f$ induces the extension of scalars functor and the restriction of scalars functor between the categories ${_A\mathrm{Mod}}$ of left $A$-modules and ${_B\mathrm{Mod}}$ of left $B$-modules. These functors form an adjunction between these categories. I am looking for a reference to this adjunction.

In other words, I am looking for a reference to the change of rings adjunction but in the more general case of monoids in a cocomplete closed symmetric monoidal category.

Let $\mathcal{M}$ be a cocomplete closed symmetric monoidal category. Let $A, B$ be monoids in $\mathcal{M}$ and $f: A \rightarrow B$ be a morphism of monoids. The morphism $f$ induces the extension of scalars functor and the restriction of scalars functor between the categories ${_A\mathrm{Mod}}$ of left $A$-modules and ${_B\mathrm{Mod}}$ of left $B$-modules. These functors form an adjunction between these categories. I am looking for a reference for this adjunction.

In other words, I am looking for a reference to the change of rings adjunction but in the more general case of monoids in a cocomplete closed symmetric monoidal category.

Source Link

The change-of-monoid adjunction between categories of modules induced by a morphism of monoids

Let $\mathcal{M}$ be a cocomplete closed symmetric monoidal category. Let $A, B$ be monoids in $\mathcal{M}$ and $f: A \rightarrow B$ be a morphism of monoids. The morphism $f$ induces the extension of scalars functor and the restriction of scalars functor between the categories ${_A\mathrm{Mod}}$ of left $A$-modules and ${_B\mathrm{Mod}}$ of left $B$-modules. These functors form an adjunction between these categories. I am looking for a reference to this adjunction.

In other words, I am looking for a reference to the change of rings adjunction but in the more general case of monoids in a cocomplete closed symmetric monoidal category.