We will continue online on Thursday, February 4th, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:
Jiří Rosický
Metric monads
Abstract: We develop universal algebra over an enriched category and relate it to finitary enriched monads. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of equations. Then we apply it to metric universal algebra where quantitative equations are used instead of equations. This contributes to understanding of finitary monads on the category of metric spaces.
