Functorial data migration

DOI10.1016/j.ic.2012.05.001zbMath1251.68092arXiv1009.1166OpenAlexW1620763508WikidataQ64385911 ScholiaQ64385911MaRDI QIDQ714735

David I. Spivak

Publication date: 11 October 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.1166

zbMATH Keywords

category theorydatabasesadjoint functorsqueriesdata migration

Mathematics Subject Classification ID

Database theory (68P15) Functional programming and lambda calculus (68N18)

Related Items (8)

Algebraic data integration ⋮ Computational category-theoretic rewriting ⋮ Categorical foundations of gradient-based learning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Database queries and constraints via lifting problems ⋮ Functorial data migration ⋮ Algebraic Databases

Cites Work

• Functorial data migration
• Polymorphic Abstract Syntax via Grothendieck Construction
• Physics, Topology, Logic and Computation: A Rosetta Stone
• A categorical approach to database semantics
• Polynomial functors and polynomial monads
• A category-theoretic account of program modules
• Matching lenses
• Deciding type equivalence in a language with singleton kinds
• A topos foundation for theories of physics: I. Formal languages for physics
• Category-theoretic fibration as an abstraction mechanism in information systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Functorial data migration