自己準同型モノイド

definition.icon

$ \operatorname{End}_C(c) \coloneqq \left\lang \textrm{Monoid}\colon \operatorname{Hom}_C(c,c) ; ({;}) , c^\wedge \right\rang

where

$ c\colon C

$ ({;})\colon \operatorname{Hom}_C(c,c) × \operatorname{Hom}_C(c,c) → \operatorname{Hom}_C(c,c)

out-of.icon

Setに埋め込まれた？

etc.icon

反図式順にしたいときはopにして