📝Monoid

tags

§ Category Theory

In Category Theory, Monoid is a Category with one object.

\begin{tikzcd} m \arrow[loop, "f", distance=2em, leftarrow, swap] \arrow[loop, "g", distance=4em, leftarrow, swap] \arrow[loop, "g \circ f", distance=6em, leftarrow, swap] \end{tikzcd}

In Set Theory, Monoid is a set of values with

These definitions are equivalent.

Backlinks