algebraとcoalgebraの一般化。 algebraとcoalgebraの一般化にはbialgebra?というのもあるが、 bialgebraよりもdilgebraの方が一般化されている。
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
Keyword(s):
References:[CPL]