Searching protocol for "Kan-extensions"
Schema migration via Kan extensions.
Kan Extensions and data migrations in Cat#.
Automate universal constructions via adjunctions.