nLab
module object

Idea

The notion of action object or module object is the internalization of the notion of action/module of monoids (such as groups or rings) on sets (such as group representations or modules), into any monoidal category $\mathcal{C}$ to yield a notion of actions of monoid objects (such as group objects or ring objects) on the objects of that category $\mathcal{C}$.

Definition

Definition

Given a monoidal category $(\mathcal{C}, \otimes, 1)$, and given $(A,\mu,e)$ a monoid in $(\mathcal{C}, \otimes, 1)$, then a left module object in $(\mathcal{C}, \otimes, 1)$ over $(A,\mu,e)$ is

1. an object $N \in \mathcal{C}$;

2. a morphism $\rho \;\colon\; A \otimes N \longrightarrow N$ (called the action);

such that

1. (unitality) the following diagram commutes:

   $$\array{ 1 \otimes N &\overset{e \otimes id}{\longrightarrow}& A \otimes N \\ & {}_{\mathllap{\ell}}\searrow & \downarrow^{\mathrlap{\rho}} \\ && N } \,,$$

   where $\ell$ is the left unitor isomorphism of $\mathcal{C}$.

2. (action property) the following diagram commutes

   $$\array{ (A\otimes A) \otimes N &\underoverset{\simeq}{a_{A,A,N}}{\longrightarrow}& A \otimes (A \otimes N) &\overset{A \otimes \rho}{\longrightarrow}& A \otimes N \\ {}^{\mathllap{\mu \otimes N}}\downarrow && && \downarrow^{\mathrlap{\rho}} \\ A \otimes N &\longrightarrow& &\overset{\rho}{\longrightarrow}& N } \,,$$

Examples

Example

(geometric actions)

A group object-action

• internal to Sets is a topological G-space: a set equipped with an action of a discrete group – this is the plain notion of a group action;

• internal to TopologicalSpaces is a topological G-space: a topological group equipped with an action on a topological space by continuous functions;

• internal to SmoothManifolds is a G-manifold: a Lie group equipped with an action on a smooth manifold by smooth functions.

Example

(equivariant principal bundles)

A $G$-equivariant principal bundle is an internal action of a group object internal to a category of internal $G$-actions as in Example , such as G-sets/G-spaces/G-manifolds (an “equivariant group”) which satisfies, internally, principality and local triviality-condition.

Example

(module spectrum)

A module object in a symmetric monoidal category of spectra is a module spectrum over a ring spectrum.

Internal to just the stable homotopy category it is a homotopy module spectrum.

Related concepts

• module over a monoidal functor

• (infinity,1)-module, (infinity,n)-module

categorical algebra – contents

internalization and categorical algebra

• monoid object

• group object

• ring object

• algebra object (associative, Lie, …)

• module object/action object

• internal locale

• internal category

  • internal groupoid

  • internal site

  • internal diagram

universal algebra

• algebras over$\,$ algebraic theories,

• algebras over$\,$ monads,

• algebras over$\,$ operads.

categorical semantics

• internal logic, internal language

• relation between category theory and type theory

References

• Saunders Mac Lane, Ieke Moerdijk, Section V.6 of: Sheaves in Geometry and Logic, Springer 1992 (doi:10.1007/978-1-4612-0927-0)

• Francis Borceux, George Janelidze, Gregory Maxwell Kelly, p. 8 of: Internal object actions, Commentationes Mathematicae Universitatis Carolinae (2005) Volume: 46, Issue: 2, page 235-255 (dml:249553)