Algebraic reasoning over relational structures

DOI10.46298/ENTICS.14598MaRDI QIDQ6831445zbMATH OpenFDO

Authors Jan Jurka, Stefan Milius, Henning Urbat

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.14598

zbMATH Keywords

algebraBirkhoffequationrelational structurevariety

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A categorical view of varieties of ordered algebras
• A new concept of probability metric and its applications in approximation of scattered data sets
• Beyond nonexpansive operations in quantitative algebraic reasoning
• Discrete equational theories
• Equational axiomatization of algebras with structure
• Finitary monads on the category of posets
• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 7297850 (Why is no real title available?)
• Metric monads
• Monads on Categories of Relational Structures.
• On the structure of abstract algebras.
• Quantitative Algebraic Reasoning
• Varieties of ordered algebras
• Varieties of quantitative algebras and their monads

Cited in

(1)

• Quantitative monoidal algebra: axiomatising distance with string diagrams

This page was built for publication: Algebraic reasoning over relational structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831445)