 Category of relations (sets)

The category of relations on sets has sets as objects and binary relations as morphisms. Relational composition declares $aRc$ when some intermediate $b$ satisfies both component relations; the identity is the diagonal relation.