Category: Rel

Rel is the category whose objects are sets and arrows are relations.

Facts Derived from Enrichment

Rel is a 2-poset, a locally posetal or 2-thin 2-category (enriched in Pos).

Notable Subcategories



categories: Rel

This data as json

name objects_hr arrows_hr
Rel sets relations

Links from other tables