Allegory

An allegory is a category that abstractly looks like Rel, the category of sets and relations.

Misc Properties

If the allegory has a Top Element in a hom set, then $\top\circ R$ is an abstract version of the domain of a relation, and $R\circ\top$ is an abstract version of the codomain.