nLab co-associativity

Contents

Context

Higher algebra

higher algebra

universal algebra

Contents

Idea

The formal dual of associativity.

Definition

Given a monoidal category $(\mathcal{C}, \otimes)$ and an object $A$ in $\mathcal{C}$ equipped with morphism (“co-multiplication”) $\Delta \colon A \longrightarrow A \otimes A$, then this is co-associative if the following diagram commutes

$\array{ A &\overset{\Delta}{\longrightarrow}& A \otimes A \\ \downarrow && \downarrow^{\mathrlap{\Delta \otimes id}} \\ A \otimes A &\underset{id \otimes \Delta}{\longrightarrow}& A \otimes A \otimes A } \,.$

If in addition there is a counit on $A$ for which the coproduct satisfies co-unitality, then $A$ is called a co-monoid in $(\mathcal{C}, \otimes)$.

Last revised on November 13, 2022 at 12:06:11. See the history of this page for a list of all contributions to it.