(no subject)

[timelets]

Before I forget: there's a moment in life of a category when functions have to become functors, and vice versa. We can think about it as if an object is being "expelled" from its mother category and has to become its own category. Alternatively, a category can be "sucked" into another category and become an object. (the video below describes how hermits became monks in a monastery).

Probably this is not new, but it's useful to think about such transitions.

Watch on YouTube

Comments

[bamalip]

не совсем понятно, как это относится к явлению монашества в видео?

[timelets]

Сначала были hermits (схимники?), которые жили сами по себе, каждый придерживался своей системы молитв, расписания, правил еды, отношений с внешним миром и т.д. По-хорошему, их надо описывать отдельной категорией; дальше смотреть на взаимоотношение объектов внутри и функторов снаружи.

Потом пришел святой Бенедикт и создал монастыри, которые работали по стандартному уставу, системой молитв, отношений и т.д. Таким образом, получился "свободный моноид на монахах." При переходе от схимника к монаху функторы превратились в функции внутри моноида.

[bamalip]

Ага, ясно. Социализация. Или даже стандартизация.
Тогда, действительно, все участники игры договариваются пользоваться одной категорией.

[timelets]

Стандартизация элемента позволяет экспериментировать с наборами стрелок внутри моноида и отбирать наиболее эффективные сочетания.. Например, если представить себе, что печатный станок - это набор стрелок, то сразу станет понятно, что изобретение стандартных шрифтов было ключевым моментом развития печатного дела. Гутенберг прогорел потому что пытался воспроизвести "рукописные" элементы.(буквы).