Mar. 7th, 2017

timelets: (Default)
Закончил читать курс, билеты и гостиница заказаны - время уезжать на рабочие каникулы.

Курс получился интересный, даже самому понравилось. Правда, из теории категорий ничего не вставил, потому что сам еще не совсем разобрался. Например, пару дней назад до меня дошло, что многие из моих разнообразных стрелок и пулбэков/пушаутов можно заменить элементарным изоморфизмом между отрезком и сегментом дуги: | -> ) Фокус в том, чтобы подобрать три правильных измерения: одно для отрезка и два для дуги. Пока не понятно, как это все соотносится с идеями применения моноида. Похоже, что свободный моноид - это категория, которую можно отобразить функтором на отрезок, причем в моноиде есть какой-то встроенный предел, не позволяющий выйти за границы отрезка в определенном измерении. M -> | -> )

Надо подумать и попробовать применить, например, к переходу от схимников к монастырям и т.д.
timelets: (Default)
Смотрите, какую я authentic карту нашел. В левом верхнем углу Ленин со Сталиным. Троцкого к тому времени уже изъяли из истории.


Profile

timelets: (Default)
timelets

September 2017

S M T W T F S
     1 2
3 4 5 6 7 8 9
10 11 1213 141516
1718192021 22 23
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 25th, 2017 12:58 am
Powered by Dreamwidth Studios