A Variety Theorem for Relational Universal Algebra
From MaRDI portal
Publication:6367367
DOI10.1007/978-3-030-88701-8_22arXiv2105.04958MaRDI QIDQ6367367FDOQ6367367
Publication date: 11 May 2021
Abstract: We develop 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.
This page was built for publication: A Variety Theorem for Relational Universal Algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6367367)
