Another Functor = Updated Dataset

→

A second functor $G$ assigns:

→

$G(\text{Person}) = {\text{Alice},\ \text{Bob}}$

→

$G(\text{City}) = {\text{Boston},\ \text{LA}}$

→

$G(\text{lives_in}) = {(\text{Alice},\ \text{LA}),\ (\text{Bob},\ \text{LA})}$

→

Same schema, different data (e.g., Alice moved to LA).

→