12:41 → [[Unreasonable Effectiveness of Compositional Thinking]] → potential structure →
#
>

2 category theory intros

→