## Idea $Rel$ is the category of sets, with morphisms the relations between sets. ## Definition $Rel$ is a [[well-pointed dagger 2-poset|well-pointed]] [[W-topical dagger 2-poset|W-topical]] [[dagger 2-poset]]. ## See also * [[HilbR]]