Profunctorial algebras

Quentin Aristote, Umberto Tarantino

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 space…