Representing Knowledge and Querying Data using Double-Functorial Semantics

Michael Lambert, Evan Patterson

Category theory offers a mathematical foundation for knowledge representation and database systems. Popular existing approaches model a database instance as a functor into the cate…