Congruences of convex algebras

• Ana Sokolova ^[1] ; Harald Woracek ^[2]
  1. [1] University of Salzburg

     University of Salzburg

     Salzburg, Austria

     
  2. [2] Vienna University of Technology

     Vienna University of Technology

     Innere Stadt, Austria

     
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 219, Nº 8 (August 2015), 2015, págs. 3110-3148
• Idioma: inglés
• DOI: 10.1016/j.jpaa.2014.10.005
• Enlaces
  • Texto completo
• Resumen

  • We provide a full description of congruence relations of finitely generated convex, positively convex, and absolutely convex algebras. As a consequence of this result we obtain that finitely generated convex (positively convex, absolutely convex) algebras are finitely presentable. Convex algebras are important in the area of probabilistic systems. In particular positively convex algebras are, as they are the Eilenberg–Moore algebras of the subdistribution monad.