[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 http://rio2016.5ch.net/test/read.cgi/math/1551963737/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
614: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/03/21(木) 07:35:46.74 ID:L2G86nzK >>613 つづき 二、三の注意 圏の射は写像とは限らないし、写像だと思い込むことは随分と弊害があるので止めたほうがいいです（竹内本P.47にも注意がある）。しかし、ホムセット（矢印の束）は普通の集合なので、集合に関する議論は普通に使います。 まったく集合概念に頼らない定式化／流儀もありますが、あんまり拘っても生産的じゃない。圏を外から眺めるときは、遠慮なしに集合概念を使ったほうが健全だと僕は思います。 あと、極限／余極限について一言いっておくと、あれは圏のなかでの工作です。極限／余極限を定義する図式が設計図（スキーム）で、極限／余極限対象が出来上がり作品です。 極限： 素材の各点の組合せをとったり、余分な所を捨てたり 余極限： 素材を寄せ集めて、必要なら糊代で貼り合わせてより大きな複合物＝作品を作る 直積／直和、終対象／始対象、等値射／余等値射（イコライザー／コイコライザー）は、極限／余極限の特別なケースであり、またこれらの基本工作技法の組合せで一般の極限／余極限（ただし有限*2）が得られます。 *2:「極限」という言葉は無限のケースから由来しているのでしょうが、有限極限／有限余極限のほうがよく使います。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1551963737/614
638: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/03/21(木) 18:10:31.17 ID:L2G86nzK >>614 関連 http://m-hiyama.hatenablog.com/entry/20170824/1503552763 檜山正幸のキマイラ飼育記 (はてなBlog) 2017-08-24 述語論理とインデックス付き圏と限量随伴性 命題論理の圏論的対応物としてデカルト閉圏やその拡張があります。述語論理の圏論的対応物はトポスだと思っている方が多いでしょう。確かにトポスがあれば（高階の）述語論理の入念な議論ができますが、トポスは複雑で難しいです。もう少し簡単な圏論的構造で（一階の）述語論理を展開できないでしょうか -- ここでは、インデックス付き圏（indexed category）による述語論理の定式化を紹介します。 (抜粋) 内容： 1.命題論理 2.連言含意論理とデカルト閉圏 3.述語論理 4.インデックス付き圏としての述語モデル 5.シンタックスとセマンティクス 6.変数の型、inとonと変数注釈の使い方 7.全称限量子 8.直積の射影に沿った述語論理 9.随伴の単位と余単位 10.述語論理におけるニョロニョロ 11.おわりに 一階述語論理の概念／用語と圏論の概念／用語の対応は次のようになります。 一階述語論理 圏論 解釈領域X ベース圏Bの対象X（Xは集合） X上の述語P デカルト閉圏Pred[X]の対象P X上の述語のあいだの証明／導出 デカルト閉圏Pred[X]の射 解釈領域のあいだの写像f ベース圏Bの射f（fは写像） 写像fによる述語の引き戻し デカルト閉圏のあいだの閉関手f* 真偽値 デカルト閉圏Pred[1]の対象 連言 デカルト閉圏の直積 含意 デカルト閉圏の指数 論理定数の真 デカルト閉圏の単位対象（＝終対象） 演繹定理 カリー同型Λ 命題論理とは、特定の集合X上のデカルト閉圏Pred[X]だけを考えることです。 つづく http://rio2016.5ch.net/test/read.cgi/math/1551963737/638
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s