Tagged "圏論"

Lambek's theorem

$C :$ 圏 $F : C \rightarrow C$ (自己函手) 定理 Lambek's theorem $F$ が initial algebra $$\alpha : F(X) \rightarrow X$$を持つとき, $\alpha$ は $X$ と $F(X)$ の isomorphism に なる 証明 $F(\alpha): F(F(X)) \rightarrow F(X)$ は $F(X)$ を carrier とすると algebra になる. $\alpha$ が initial であることより、以下の図を

Read more...

圏論のノート1

定義: 圏 圏$C$ は以下の要素からなる object(対象) の集まり arrow(射) の集まり(morphismとも呼ばれる) arrow $f$ にdomainとcodomainを割

Read more...