# nLab module object

Contents

### Context

#### Higher algebra

higher algebra

universal algebra

# Contents

## Idea

An internal module over a monoid object.

## 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 } \,,$

Last revised on June 10, 2018 at 15:28:45. See the history of this page for a list of all contributions to it.