A variety theorem for relational universal algebra
From MaRDI portal
Publication:2695366
DOI10.1007/978-3-030-88701-8_22OpenAlexW3208983857MaRDI QIDQ2695366
Publication date: 30 March 2023
Full work available at URL: https://arxiv.org/abs/2105.04958
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Partial Horn logic and Cartesian categories
- Cartesian bicategories. I
- The geometry of tensor calculus. I
- Regular and exact completions
- On the structure of generalized effect algebras and separation algebras
- Definable categories
- The symmetric topos
- Enriched regular theories
- On the duality between varieties and algebraic theories
- Unzerlegbare Darstellungen. I. (Indecomposable representations. I)
- On the structure of semigroups
- The sequential semantics of producer effect systems
- Coalgebras and cartesian categories
This page was built for publication: A variety theorem for relational universal algebra