12:41 → [[Unreasonable Effectiveness of Compositional Thinking]] → The difference between identity, morphism, and isomorphism is what determines a category →
#
>

We claim people are the same person over time, so in that category person has an invariant identity

→