The category Set_* of sets and partial functions is well-known to be tra...
We implement a novel representation of model search spaces as diagrams o...
We generalize a pushout complement algorithm from graph rewriting to
fin...
Categorical Query Language is an open-source query and data integration
...
share