The category of relation.