Homotopy Type Theory Rel > history (Rev #4, changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

Idea

$Rel$ is the category of sets, with morphisms the relations between sets.

Definition

$Rel$ is a W-topical extensional map-extensional dagger 2-poset.

See also

• HilbR
• SEAR