Unreasonable Effectiveness of Compositional Thinking → structure → (formal) construction: intro to category theory → what is a category? → identity →
#
>

it is raining -> it is raining

→