Year: 2025
Type: article
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 doublefunctorial semantics.
DOI: 10.4204/eptcs.429.9
Authors: Michael Lambert, Evan Patterson
Institutions: University of Massachusetts Boston, Topos Institute
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4414402216
FWCI:
Cites:
Cited by:
Related to: