Больше? Лучше!
Mar. 7th, 2017 10:36 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timeletsЗакончил читать курс, билеты и гостиница заказаны - время уезжать на рабочие каникулы.
Курс получился интересный, даже самому понравилось. Правда, из теории категорий ничего не вставил, потому что сам еще не совсем разобрался. Например, пару дней назад до меня дошло, что многие из моих разнообразных стрелок и пулбэков/пушаутов можно заменить элементарным изоморфизмом между отрезком и сегментом дуги: | -> ) Фокус в том, чтобы подобрать три правильных измерения: одно для отрезка и два для дуги. Пока не понятно, как это все соотносится с идеями применения моноида. Похоже, что свободный моноид - это категория, которую можно отобразить функтором на отрезок, причем в моноиде есть какой-то встроенный предел, не позволяющий выйти за границы отрезка в определенном измерении. M -> | -> )
Надо подумать и попробовать применить, например, к переходу от схимников к монастырям и т.д.
Курс получился интересный, даже самому понравилось. Правда, из теории категорий ничего не вставил, потому что сам еще не совсем разобрался. Например, пару дней назад до меня дошло, что многие из моих разнообразных стрелок и пулбэков/пушаутов можно заменить элементарным изоморфизмом между отрезком и сегментом дуги: | -> ) Фокус в том, чтобы подобрать три правильных измерения: одно для отрезка и два для дуги. Пока не понятно, как это все соотносится с идеями применения моноида. Похоже, что свободный моноид - это категория, которую можно отобразить функтором на отрезок, причем в моноиде есть какой-то встроенный предел, не позволяющий выйти за границы отрезка в определенном измерении. M -> | -> )
Надо подумать и попробовать применить, например, к переходу от схимников к монастырям и т.д.
no subject
Date: 2017-03-08 07:03 am (UTC)no subject
Date: 2017-03-08 08:22 pm (UTC)https://timelets.dreamwidth.org/628331.html