Representing Knowledge and Querying Data Using Double-Functorial Semantics: A Flexible and Expressive Approach
Double categories provide a flexible and expressive language to represent knowledge and query data, unifying the functional and relational models through double functors.