Online seminář z algebry - 1.4.2021 |
|
Další seminář z algebry se koná 1.4.2021 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde. Jiří Adámek
C-Varieties of Ordered and Quantitative Algebras
Abstrakt: 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.
|
Aktualizováno Čtvrtek, 01 Duben 2021 09:40 |