SAKAI Masahiro - algebra Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= 代数(algebra)
((<coalgebra>))の双対
== T-algebra
自己関手(endo functor) T: C->C について、
f: T(X)->X であるような (X,f) を T-algebra という。
fをこのT-algebraの構造射(structural morphism)と呼ぶ。
(X,f)と(Y,g)がT-algebraであるとき、
g・T(h) = h・f を満たす h: X->Y を仲介射(mediating morphism)と呼ぶ。
T-algebraと仲介射の全体は((<圏>))をなす。
((<coalgebra>))の双対
== T-algebra
自己関手(endo functor) T: C->C について、
f: T(X)->X であるような (X,f) を T-algebra という。
fをこのT-algebraの構造射(structural morphism)と呼ぶ。
(X,f)と(Y,g)がT-algebraであるとき、
g・T(h) = h・f を満たす h: X->Y を仲介射(mediating morphism)と呼ぶ。
T-algebraと仲介射の全体は((<圏>))をなす。