Unreasonable Effectiveness of Compositional Thinking → structure → (formal) construction: intro to category theory → categories of categories →
#
>

natural transformations

→
#
>

morphisms between functors

→
#
>

“translations between translations”

→