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

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

furia_krucha)

Красиво же