Category:Definitions/Category of Relations
Jump to navigation
Jump to search
This category contains definitions related to the Category of Relations.
Related results can be found in Category: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 "Definitions/Category of Relations"
The following 2 pages are in this category, out of 2 total.