(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