Learn about the research and development towards our vision for universal data interoperability.
We generalize the set-valued functor model by using multi-sorted algebraic theories.
We propose embedding programs in a query language rather than embedding queries in a programming language.
We develop a query language based on graph-based schemas.
We develop a canonical syntax and axiomatic semantics for CQL.
We interpret SPARQL graph patterns as category-theoretic lifting problems.
We present a simple database definition language of categories and functors.
Ologs are category-theoretic models for knowledge representation.