Phạm trù các quan hệ

Bách khoa toàn thư mở Wikipedia

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[sửa | sửa mã nguồn]

  • Francis Borceux (1994). Handbook of Categorical Algebra: Volume 2, Categories and Structures. Cambridge University Press. tr. 115. ISBN 978-0-521-44179-7.
  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.
Lấy từ “https://vi.wikipedia.org/w/index.php?title=Phạm_trù_các_quan_hệ&oldid=63150255”