Unreasonable Effectiveness of Compositional Thinking → structure → (formal) construction: intro to category theory → what emerges from this structure? →
#
>

$\infty$-categories

→
#
>

morphisms between morphisms (and beyond)

→