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.