The Clowder Project

[1] Here we choose to slightly abuse notation by writing $\mathbf{Rel}\webleft (A,B\webright )$ (instead of e.g. $\mathbf{Rel}\webleft (A,B\webright )_{\mathsf{pos}}$) for the posetal category of relations from $A$ to $B$, even though the same notation is used for the poset of relations from $A$ to $B$.