A variety theorem for relational universal algebra

DOI10.1007/978-3-030-88701-8_22OpenAlexW3208983857MaRDI QIDQ2695366

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

• 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