2000 character limit reached
Representing Knowledge and Querying Data using Double-Functorial Semantics (2403.19884v2)
Published 28 Mar 2024 in math.CT, cs.DB, and cs.LO
Abstract: Category theory offers a mathematical foundation for knowledge representation and database systems. Popular existing approaches model a database instance as a functor into the category of sets and functions, or as a 2-functor into the 2-category of sets, relations, and implications. The functional and relational models are unified by double functors into the double category of sets, functions, relations, and implications. In an accessible, example-driven style, we show that the abstract structure of a 'double category of relations' is a flexible and expressive language in which to represent knowledge, and we show how queries on data in the spirit of Codd's relational algebra are captured by double-functorial semantics.
- Evangelia Aleiferi “Cartesian double categories with an emphasis on characterizing spans”, 2018 arXiv:1809.06940
- Aurelio Carboni and Robert F.C. Walters “Cartesian bicategories I” In Journal of Pure and Applied Algebra 49.1-2, 1987, pp. 11–32 DOI: 10.1016/0022-4049(87)90121-6
- Edgar F. Codd “A relational model of data for large shared data banks” In Communications of the ACM 13.6, 1970, pp. 377–387 DOI: 10.1145/362384.362685
- Marco Grandis “Higher dimensional categories: From double to multiple categories” World Scientific, 2019 DOI: 10.1142/11406
- Bart Jacobs “Categorical logic and type theory” Elsevier, 1999
- Michael Johnson, Robert Rosebrugh and R.J. Wood “Entity-relationship-attribute designs and sketches” In Theory and Applications of Categories 10.3, 2002, pp. 94–112 URL: http://www.tac.mta.ca/tac/volumes/10/3/10-03abs.html
- Michael Lambert “Double categories of relations” In Theory and Applications of Categories 38.33, 2022, pp. 1249–1283 arXiv: http://www.tac.mta.ca/tac/volumes/38/33/38-33abs.html
- Evan Patterson “Knowledge representation in bicategories of relations”, 2017 arXiv:1706.00526
- Evan Patterson “Products in double categories, revisited”, 2024 arXiv:2401.08990
- Evan Patterson, Owen Lynch and James Fairbanks “Categorical data structures for technical computing” In Compositionality 4.5, 2022 DOI: 10.32408/compositionality-4-5
- “Categorical data-specifications” In Theory and Applications of Categories 1.8, 1995, pp. 156–173 URL: http://www.tac.mta.ca/tac/volumes/1995/n8/1-08abs.html
- Michael Shulman “Framed bicategories and monoidal fibrations” In Theory and Applications of Categories 20.18, 2008, pp. 650–738 arXiv: http://www.tac.mta.ca/tac/volumes/20/18/20-18abs.html
- David I. Spivak “Functorial data migration” In Information and Computation 217, 2012, pp. 31–51 DOI: 10.1016/j.ic.2012.05.001
- David I. Spivak and Robert E. Kent “Ologs: A categorical framework for knowledge representation” In PloS One 7.1, 2012, pp. e24274 DOI: 10.1371/journal.pone.0024274
- David I. Spivak and Ryan Wisnesky “Relational foundations for functorial data migration” In Proceedings of the 15th Symposium on Database Programming Languages, 2015, pp. 21–28 DOI: 10.1145/2815072.2815075