Unreasonable Effectiveness of Compositional Thinking → examples → category, functor, natural transformation → Category Theory Example: Applied to a Database → Natural Transformation = Data Migration →
#
>

This satisfies the naturality condition:

→
#
>

$G(lives_in) \circ \eta_{\text{Person}} = \eta_{\text{City}} \circ F(lives_in)$

→