вот еще напомнили

[juan_gandhi]

"В locally finitely presentable categories инициальные алгебры и терминальные коалгебры естественным образом снабжаются метрикой, причем последние являются пополнением первых по Коши (для одного и того же функтора, конечно), например, streams это пополнение lists. (Адамек)." (10x furia_krucha)

Красиво же