Phạm trù các quan hệ

Trong toán học, phạm trù Rel (viết tắt của "relation", từ tiếng Anh cho "quan hệ") có đối tượng là các tập hợp và cấu xạ là các quan hệ hai ngôi.

Một cấu xạ R: A → B được cho bởi R ⊆ A × B.

Phép hợp hai quan hệ R: A → B và S: B → C được cho bởi

(a, c) ∈ S o R khi và chỉ khi tồn tại b ∈ B, (a,b) ∈ R và (b,c)∈S. [1]

Tham khảo

  • Francis Borceux (1994). Handbook of Categorical Algebra: Volume 2, Categories and Structures. Cambridge University Press. tr. 115. ISBN 978-0-521-44179-7.
Bài viết này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.
  • x
  • t
  • s
  1. ^ Mac Lane, S. (1988). Categories for the Working Mathematician (ấn bản 1). New York: Springer-Verlag. tr. 26. ISBN 0-387-90035-7.