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