The category of relations on sets has sets as objects and binary relations as morphisms. Relational composition declares when some intermediate satisfies both component relations; the identity is the diagonal relation.

Ancestors (8)

  1. Category of relations
  2. Regular category
  3. Category
  4. Category theory
  5. Foundations of mathematics
  6. Area of mathematics
  7. Mathematics
  8. Home

Incoming links (1)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version