圏論的な解釈とは? わかりやすく解説

圏論的な解釈

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/13 01:13 UTC 版)

閉包 (位相空間論)」の記事における「圏論的な解釈」の解説

閉包作用素は、以下のように普遍射を用いるとすっきりと定義することができる。 集合 X の冪集合半順序集合として、X の部分集合対象とし、包含写像を射とする圏 P と看做すことができる。さらに X 上の位相 T は P の部分圏であり、包含函手 I: T → P を考えることができる。X の部分集合 A を固定して、A を含む X の閉集合全体のなす集合族コンマ圏 (A ↓ I) と同一視すれば、この(半順序集合でもある)圏は始対象として Cl(A) を持つ。ゆえに、A から I への普遍射が存在し、それは包含射 A → Cl(A)与えられる同様に、X ∖ A を含む任意の閉集合は A に含まれる開集合対応するから、コンマ圏 (I ↓ X ∖ A) を A に含まれる開集合全体のなす集合解釈することができて、A の内部 Int(A) がその終対象与える。 閉包作用素の持つ性質全てこの定義(と上記の圏のいくつかの性質)から導くことができる。さらにこの定義が普遍射として述べられていることにより、やはり普遍射として記述される他の種類閉包(たとえば代数閉包)などと位相的閉包との間の類似対応明確になるという利点がある。

※この「圏論的な解釈」の解説は、「閉包 (位相空間論)」の解説の一部です。
「圏論的な解釈」を含む「閉包 (位相空間論)」の記事については、「閉包 (位相空間論)」の概要を参照ください。

ウィキペディア小見出し辞書の「圏論的な解釈」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



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

辞書ショートカット

すべての辞書の索引

「圏論的な解釈」の関連用語

圏論的な解釈のお隣キーワード
検索ランキング

   

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



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

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの閉包 (位相空間論) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS