関係の圏とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 関係の圏の意味・解説 

関係の圏

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/04 16:49 UTC 版)

ナビゲーションに移動 検索に移動
関係圏 Rel
反対圏 Relop

数学の一分野である圏論において関係の圏(かんけいのけん、: category of relationsRel は、すべての集合対象とし、すべての二項関係とするである。

この圏における射 R: ABA, B 間の関係であるというのは、 RA × B であることを意味する。

二つの関係 R: AB, S: BC合成

(a, c) ∈ SR ⇔ ∃bB s.t. (a, b) ∈ R かつ (b, c) ∈ S

で与えられる[1]

性質

  • 関係の圏 Rel集合の圏 Set を(ワイドな)部分圏として含む。ただし、Set における射(つまり写像)f: XY は付随する函数関係 FX × Y ((x, y) ∈ Ff(x) = y) に対応する。
  • 関係の圏 Rel は、冪集合をとる操作を共変函手と見なしたものに対応する函手をもつモナドに対するクライスリ圏として、集合の圏 Set から得られる。
  • 初見では呑み込みづらいと思われる事実に、関係の圏 Rel における圏論的直積が(Set の直積が集合論的直積であるのと違って)集合論的直和によって与えられることが挙げられる。それはまた圏論的直和でもある。
  • 関係の圏 Relモノイド閉圏を成す。ただし、モノイド積 AB および内部射 AB はともに集合のデカルト積で与えられる。
  • 関係 R R−1(b, a) ∈ R−1: BA ⇔ (a, b) ∈ R: AB)をとる対合的操作は、対象をそのままに射とその合成順を逆にする反変函手 RelopRel を誘導する。これにより関係の圏 Relダガー圏英語版となる。実は Relダガーコンパクト圏英語版である。

関連項目

  • 寓 (圏論)英語版: 関係の圏は寓の模範例である

参考文献

  1. ^ Lane, S. Mac (1988). Categories for the working mathematician (1st ed.). New York: Springer-Verlag. p. 26. ISBN 0-387-90035-7 

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「関係の圏」の関連用語

関係の圏のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



関係の圏のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの関係の圏 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS