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