pith. machine review for the scientific record. sign in

arxiv: 1009.1166 · v4 · submitted 2010-09-06 · 💻 cs.DB · math.CT

Recognition: unknown

Functorial Data Migration

David I. Spivak

Authors on Pith no claims yet
classification 💻 cs.DB math.CT
keywords databasefunctorslanguageschemacategoryconceptsdatafunctorial
0
0 comments X
read the original abstract

In this paper we present a simple database definition language: that of categories and functors. A database schema is a small category and an instance is a set-valued functor on it. We show that morphisms of schemas induce three "data migration functors", which translate instances from one schema to the other in canonical ways. These functors parameterize projections, unions, and joins over all tables simultaneously and can be used in place of conjunctive and disjunctive queries. We also show how to connect a database and a functional programming language by introducing a functorial connection between the schema and the category of types for that language. We begin the paper with a multitude of examples to motivate the definitions, and near the end we provide a dictionary whereby one can translate database concepts into category-theoretic concepts and vice-versa.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Presenting Neural Networks via Coherent Functors

    math.CT 2026-04 unverdicted novelty 7.0

    Dense feed-forward neural networks over floats can be presented as coherent categories G whose Set-models are the networks, with inference as precomposition along a coherent functor from a span category.

  2. Kleisli semantics and hypergraph composition for Greimasian narrative programs

    math.CT 2026-04 unverdicted novelty 6.0

    The paper gives a category-theoretic model of narrative programs via Kleisli semantics on Set and hypergraph composition for narrative trajectories.