Unreasonable Effectiveness of Compositional Thinking → structure → (immaculate) conception: an exploration of intuitions behind systems and thoughts → physics of systems? →
#
>

physics of logic?

→
#
>

Propositions

→
#
>

curry howard lambek isomorphism

→
#
>

type theory

→
#
>

logic

→
#
>

types of category

→