Functorial data migration

DOI10.1016/j.ic.2012.05.001zbMath1251.68092arXiv1009.1166WikidataQ64385911 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 theory; databases; adjoint functors; queries; data migration

Mathematics Subject Classification ID

68P15: Database theory

68N18: Functional programming and lambda calculus

Related Items

Algebraic data integration, 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