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

Красиво же

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

June 2025

S M T W T F S
1 2345 6 7
8 9 10 11 121314
15161718 1920 21
222324252627 28
29 30     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 6th, 2025 05:39 pm
Powered by Dreamwidth Studios