Abstrakt. I detta dokument presenterar vi ett enkelt databasdefinitionsspråk: det om kategorier och functors. Ett databasschema är en liten kategori och en instans är en set-värderad functor på det. Vi visar att morfismer av scheman framkallar tre "data migration functors", som översätter fall från en schema till en annan på kanoniska sätt. Dessa functors parameterize prognoser, fackföreningar, och går över alla tabeller samtidigt och kan användas i stället för konjunktiva och disjunktiva frågor. Vi visar också hur man ansluter en databas och ett funktionellt programmeringsspråk genom att införa en funktoriell koppling mellan schemat och kategorin av typer för det språket. Vi börjar tidningen med en mängd exempel för att motivera definitionerna, och nära slutet tillhandahåller vi ett lexikon där man kan översätta databasbegrepp till kategori-teoretiska begrepp och vice versa.
David I. Spivak i referens REF ger nya data migrering functors baserat på en enkel kategoriteoretisk modell av databas för att översätta instanser från en schema till en annan på kanoniska sätt.
Functorial Data Migration
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science', 'Mathematics']}