@InProceedings{10.1007/978-3-030-88701-8_22,
author="Nester, Chad",
editor="Fahrenberg, Uli
and Gehrke, Mai
and Santocanale, Luigi
and Winter, Michael",
title="A Variety Theorem for Relational Universal Algebra",
booktitle="Relational and Algebraic Methods in Computer Science",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="362--377",
abstract="We consider an analogue of universal algebra in which generating symbols are interpreted as relations. We prove a variety theorem for these relational algebraic theories, in which we find that their categories of models are precisely the definable categories. The syntax of our relational algebraic theories is string-diagrammatic, and can be seen as an extension of the usual term syntax for algebraic theories.",
isbn="978-3-030-88701-8"
}