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