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

morphisms in Cat

→