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

universal properties

→
#
>

terminal, initial objects

→
#
>

“bestness” and uniqueness

→
#
>

limits, products

→