{"id":"arxiv/2601.22721","url":"https://arxiv.org/abs/2601.22721","tags":["math.CT","cs.LO"],"score":0,"title":"Profunctorial algebras","domain":"math.CT","source":"arxiv","authors":["Quentin Aristote","Umberto Tarantino"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-30","reactions":{}}