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
[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.
- ^ Mac Lane, S. (1988). Categories for the Working Mathematician (ấn bản thứ 1). New York: Springer-Verlag. tr. 26. ISBN 0-387-90035-7.