Online algebra seminar - April 1st, 1pm PDF Print

We will continue online on Thursday, April 1st, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Jiří Adámek

C-Varieties of Ordered and Quantitative Algebras

Mardare, Panangaden and Plotkin introduced c-varieties of algebras on metric spaces. These are categories of metric-enriched algebras specified by equations in a context. A context puts restrictions on the distances of variables one uses. We prove that c-varieties are precisely the monadic categories over Met for countably accessible enriched monads preserving epimorphisms.

We analogously introduce c-varieties of ordered algebras as categories specified by inequalities in a context. Which means that conditions on inequalities between variables are imposed. We prove that c-varieties precisely correspond to enriched finitary monads on Pos preserving epimorphisms.

This is joint work with Jiri Rosicky.

Last Updated on Thursday, 01 April 2021 09:42