自己準同型モノイド対象

summary.icon

$ \operatorname{End}_C(c) \coloneqq \left\lang\textrm{Monoid}\colon (c ⊸ c); \mathrm{comp}_{c,c,c} , \mathrm{id}_c \right\rang

where

$ \left\lang\textrm{L-C-MC}\colon C; ⊗, i^\wedge, ⊸; α, λ, ρ \right\rang

$ c\colon C

任意の対象

$ \mathrm{comp}_{c,c,c} \colon (c ⊸ c) ⊗ (c ⊸ c) → (c ⊸ c)

$ \mathrm{id}_c \colon i → (c ⊸ c)

公理系