We generalize the set-valued functor model by using multi-sorted algebraic theories. This easily accommodates missing information (null values), and allows queries to make use of data operations such as multiplication or comparison. We show how all the components of our model fit in a single double categorical structure called a proarrow equipment.

Share This