SAKAI Masahiro - dialgebra Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= dialgebra
((<algebra>))と((<coalgebra>))の一般化。
algebraとcoalgebraの一般化には((<bialgebra>))というのもあるが、
bialgebraよりもdilgebraの方が一般化されている。
== F,G-dialgebra
((<functor>)) F,G: C->D について、
f: F(X)->G(X) であるような (X,f)
F,G-dialgebraは((<圏>))をなす。
(X,f)から(Y,g)への射は、g・F(h) = G(h)・f を満たす h: X->Y
((<algebra>))と((<coalgebra>))の一般化。
algebraとcoalgebraの一般化には((<bialgebra>))というのもあるが、
bialgebraよりもdilgebraの方が一般化されている。
== F,G-dialgebra
((<functor>)) F,G: C->D について、
f: F(X)->G(X) であるような (X,f)
F,G-dialgebraは((<圏>))をなす。
(X,f)から(Y,g)への射は、g・F(h) = G(h)・f を満たす h: X->Y