エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
第I章演習問題 [21]
圏論の論理的基礎については, S.マックレーン『圏論の基礎』(三好博之/高木理 訳, シュプリンガー・フ... 圏論の論理的基礎については, S.マックレーン『圏論の基礎』(三好博之/高木理 訳, シュプリンガー・フェアラーク東京)の第I章(とくに第6節)で論じられている. 詳しくはその本で勉強してもらうことにして, ここでは概略のみ書こう. マックレーンは二つの方法を紹介している. 第一の方法は, ZF集合論が扱う全ての集合に言及するのを控えて, 圏論の対象を《小さな集合》に制限すること. ある集合 \(U\) が次の性質をもつと仮定する: \(U\) は推移的, \(\forall a,b\in U(\,\{a,b\}\in U\land\langle a,b\rangle\in U\land a\times b\in U\,)\), \(\forall a\in U(\,\mathcal{P}(a)\in U\land \bigcup a\in U\,)\), \(\omega\in U\),
2023/04/22 リンク