Categorical Algebra with Segal Conditions

[timelets]

Watch on YouTube

Among other things, the ant solution to the grain sorting problem given to Psyche by Aphrodite can be modeled as a replacement of an Inert with an Active. The same applies to the Trasnsformer solution of the translation problem, etc.

upd. the Odysseus solution to the Sirens problem also fits the pattern