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

what is a category?

→
#
>

dots and arrows

→
#
>

identity

→
#
>

it is raining -> it is raining

→
#
>

composition

→
#
>

it is raining -> it is cloudy -> earth has clouds

→
#
>

associativity

→
#
>

it is raining -> it is cloudy -> earth has clouds -> earth has an atmosphere

→
#
>

commutative diagram

→