Category:Category of Relations
Jump to navigation
Jump to search
This category contains results about the category of relations.
Definitions specific to this category can be found in Definitions/Category of Relations.
The category of (binary) relations, denoted $\mathbf{Rel}$, is the metacategory with:
Objects: | sets | |
Morphisms: | binary relations $\RR \subseteq A \times B$. | |
Composition: | composition of relations | |
Identity morphisms: | identity mappings |
Pages in category "Category of Relations"
The following 3 pages are in this category, out of 3 total.