Спасибо вам, продолжайте пожалуйста

Спасибо большое за труд! Надеюсь, серия продолжится дальше, потому что видел несколько введений в теорию категорий, где давались только базовые определения, общие слова типа "в теории категорий нас интересуют не сами объекты, а взаимоотношения между ними" и пару примеров категорий. Такие введения, кмк, на самом деле особо ничего не дают, почти как hello world в программировании :) Будет классно, если вы дойдете до естественных преобразований и универсальных конструкций, снабдив это несколькими примерами, как вы сделали здесь.

Так и до теории гомотопий недалеко))

Почему при A->B->C. f(A)=B, g(B)=C. композицию h(A)=C, записывают как h=gf, а не fg. Вероятно принято, что стоит ближе* к функции первым действует?

@molotov_ilya

27 күн бұрын

Вы правы. g - выступает как внешняя функция поэтому её записывают левее. Мы как бы опустили g(f(x)).

В Вашем курсе будут затронуты string diagrams?

@molotov_ilya

27 күн бұрын

Так далеко не планировал. Поэтому вероятность 50/50. Вообще, хорошая идея в рамках прикладной теории категорий их обсудить. Может даже отдельным плейлистом. Но это не скоро будет.

@vladislavgolubev680

27 күн бұрын

@@molotov_ilya Спасибо за ответ.