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