モナド (圏論)
μ ⋅ ( T ∘ μ ) = μ ⋅ ( μ ∘ T ) {\displaystyle \mu \cdot (T\circ \mu )=\mu \cdot (\mu \circ T)}
μ ⋅ ( T ∘ η ) = μ ⋅ ( η ∘ T ) = 1 T {\displaystyle \mu \cdot (T\circ \eta )=\mu \cdot (\eta \circ T)=1_{T}}
(ここで・は E n d C {\displaystyle \mathrm {End} _{C}} の射の合成を表す)を満たすものと書ける。すなわち、これは E n d C {\displaystyle \mathrm {End} _{C}} のモノイド (Monoid (category theory)) である。