Congruences of convex algebras.

DOI10.1016/j.jpaa.2014.10.005zbMath1320.08003OpenAlexW2011051448MaRDI QIDQ2341527

Harald Woracek, Ana Sokolova

Publication date: 24 April 2015

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2014.10.005

zbMATH Keywords

convex setscongruencesfinitely presented algebrasprojection axiomabsolutely convex algebrasbarycenter axiomfinitely generated convex algebraspositively convex algebras

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Equational categories (18C05) Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Finitary algebras (08A62) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (7)

Identifying all preorders on the subdistribution monad ⋮ Unnamed Item ⋮ On Finitary Functors ⋮ Smart Choices and the Selection Monad ⋮ On algebras with effectful iteration ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilities, distribution monads, and convex categories
• Eilenberg--Moore algebras for stochastic relations
• Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
• Regularly ordered Banach spaces and positively convex spaces
• Positively convex spaces
• Convexity theories. 0: Foundations
• The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1})\)]
• \(p\)-Banach spaces and \(p\)-totally convex spaces. II
• \(p\)-Banach spaces and \(p\)-totally convex spaces
• Absolutely convex modules and Saks spaces
• Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
• Normed totally convex spaces
• Convexity, Duality and Effects
• Banach spaces and totally convex spaces I
• Banach spaces and totally convex spaces II
• Diagram groups
• Congruence relations on totally convex spaces
• Finite presentation and purity in categories σ[M]
• Measurable Spaces and Their Effect Logic
• Convex Bodies The Brunn-MinkowskiTheory
• Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups
• Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
• Convexity theories. VII: Discrete \(\Gamma\)-convex modules

This page was built for publication: Congruences of convex algebras.