Discrete equational theories

DOI10.1017/s096012952400001xarXiv2204.02590OpenAlexW4391187550MaRDI QIDQ6149967

Jiří Rosický

Publication date: 5 March 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

Birkhoff subcategoryenriched equational theoryenriched Monad

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Varieties of ordered algebras
• Birkhoff's variety theorem in many sorts
• Monads and theories
• Equational axiomatization of algebras with structure
• Quantitative Algebraic Reasoning
• A categorical view of varieties of ordered algebras
• Finitary monads on the category of posets
• A convenient category for directed homotopy
• Algebra and Coalgebra in Computer Science
• Identities in Categories

This page was built for publication: Discrete equational theories