關係範疇 在數學上關係範疇記做Rel指的是以集合為物件以二元關係為態射的範疇 在這個範疇中其態射 R  A  B displaystyle RAlongrightarrow B 是 A displaystyle A 與 B displaystyle B 之間的關係因此 R  A  B displaystyle Rsubseteq Atimes B 這範疇中兩個關係 R  A  B displaystyle RAlongrightarrow B 及 S  C  D displaystyle SClongrightarrow D 的合成由下式給出  a  c   S  R displaystyle acin Scirc R 若且唯若對於一些 b  B displaystyle bin B 而言  a  b   R displaystyle abin R 且  b  c   S displaystyle bcin S 關係範疇又被一些人稱為集合間對應的範疇category of correspondences of sets