{"id":"arxiv/2601.03180","url":"https://arxiv.org/abs/2601.03180","tags":["math.CT"],"score":0,"title":"Strongly finitary metric monads are too strong","domain":"math.CT","source":"arxiv","authors":["Jiri Adamek"],"reviews":0,"subject":"math.CT","summary":"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 resulting enriched monads are precisely the strongly finitary ones (determined by their values on finite discrete spaces). We present a counter-example: the variety of algebras on two close binary operations yields a monad which is not strongly finitary. A full characterization of free-algebra monads of varieties is: they are the 1-basic monads, i.e., weighted colimits of strongly finitary monads (in the category…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-06","reactions":{}}