A variety theorem for relational universal algebra

DOI10.1007/978-3-030-88701-8_22MaRDI QIDQ2695366zbMATH OpenOpenAlexFDO

Authors Chad Nester

Publication date 30 March 2023

Full work available at URL https://arxiv.org/abs/2105.04958

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 3353518 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Cartesian bicategories. I
• Coalgebras and cartesian categories
• Definable categories
• Enriched regular theories
• On the duality between varieties and algebraic theories
• On the structure of generalized effect algebras and separation algebras
• On the structure of semigroups
• Partial Horn logic and Cartesian categories
• Regular and exact completions
• The geometry of tensor calculus. I
• The sequential semantics of producer effect systems
• The symmetric topos
• Unzerlegbare Darstellungen. I. (Indecomposable representations. I)

Cited in

(6)

• Notions of relative ubiquity for invariant sets of relational structures
• A domain theoretic characterisation of the universal relation
• Relativizations of relation algebras by the diversity
• A Variety Theorem for Relational Universal Algebra
• 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)