関係の圏

数学の一分野である圏論において関係の圏（かんけいのけん、） は、すべての集合を対象とし、すべての二項関係を射とする圏である。

この圏における射 が 間の関係であるというのは、 であることを意味する。

二つの関係 , の合成は

で与えられる。

性質 関係の圏 は集合の圏 を（ワイドな）部分圏として含む。ただし、 における射（つまり写像） は付随する函数関係 に対応する。 関係の圏 は、冪集合をとる操作を共変函手と見なしたものに対応する函手をもつモナドに対するクライスリ圏として、集合の圏 から得られる。 初見では呑み込みづらいと思われる事実に、関係の圏 における圏論的直積が（ の直積が集合論的直積であるのと違って）集合論的直和によって与えられることが挙げられる。それはまた圏論的直和でもある。 関係の圏 はモノイド閉圏を成す。ただし、モノイド積 および内部射 はともに集合のデカルト積で与えられる。 関係 の逆 （）をとる対合的操作は、対象をそのままに射とその合成順を逆にする反変函手 を誘導する。これにより関係の圏 はとなる。実は はである。

関連項目 : 関係の圏はの模範例である

参考文献

外部リンク