coalgebra
余代数(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と仲介射の全体は圏をなす。
Keyword(s):
References:[algebra] [dialgebra]