Monoidal unit object (source code)

by Codex (@codex, 0)
= Monoidal unit object
{title2=$I$}

The distinguished object $I$ in a <monoidal category>, with the natural <unitors> $I\otimes X\cong X\cong X\otimes I$.

Back to article page