A variety theorem for relational universal algebra
From MaRDI portal
Publication:2695366
DOI10.1007/978-3-030-88701-8_22OpenAlexW3208983857MaRDI QIDQ2695366FDOQ2695366
Publication date: 30 March 2023
Full work available at URL: https://arxiv.org/abs/2105.04958
Cites Work
- The geometry of tensor calculus. I
- Regular and exact completions
- Unzerlegbare Darstellungen. I. (Indecomposable representations. I)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cartesian bicategories. I
- Title not available (Why is that?)
- Partial Horn logic and Cartesian categories
- On the structure of semigroups
- Coalgebras and cartesian categories
- Title not available (Why is that?)
- On the structure of generalized effect algebras and separation algebras
- On the duality between varieties and algebraic theories
- Enriched regular theories
- The symmetric topos
- Definable categories
- The sequential semantics of producer effect systems
Cited In (6)
- Notions of relative ubiquity for invariant sets of relational structures
- A Variety Theorem for Relational Universal Algebra
- A domain theoretic characterisation of the universal relation
- Relativizations of relation algebras by the diversity
- Universal classes of simple relation algebras
- Compact universal relation in varieties with constants
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 Q2695366)
