Mar. 7th, 2017

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

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

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


Profile

timelets: (Default)
timelets

July 2017

S M T W T F S
       1
2 3 4 5 67 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26272829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 27th, 2017 06:41 pm
Powered by Dreamwidth Studios