coalgebraの双対
自己関手(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と仲介射の全体は圏をなす。
Keyword(s):
References:[catamorphism] [coalgebra] [dialgebra]