Profunctorial algebras
We provide a bicategorical generalization of Barr's landmark 1970 paper, in which he describes how to extend Set-monads to relations and uses this to characterize topological spaces as the relational algebras of the ultrafilter monad. With two-sided discrete fibrations playing the role of relations in a bicategory, we first describe how to extend pseudomonads on a bicategory to skew monads on its bicategory of two-sided discrete fibrations, and we characterize in terms of exact squares when these extensions are themselves pseudomonads. As a wide class of examples, we show that every…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.22721
curl -X POST /api/v1/records/arxiv/2601.22721/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.22721/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'