2 papers
math.CT2026
Strongly finitary metric monads are too strong
Jiri Adamek
Varieties of quantitative algebras are fully described by their free-algebra monads on the category Met of metric spaces. For a longer time it has been an open problem whether the…
math.CT2024
Varieties of quantitative algebras as categories
Jiri Adamek
Classical varieties were characterized by Lawvere as the categories with effective congruences and a varietal generator: an abstractly finite regular generator which is regularly p…