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