Strongly finitary metric monads are too strong
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.03180
curl -X POST /api/v1/records/arxiv/2601.03180/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.03180/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'