(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]

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