圏論は、いくつかの数学ダンジョンをある程度クリアしたうえで挑むタイプのそれ...ではない
圏論ってもしかしていくつかの数学ダンジョンをある程度クリアしたうえで挑むタイプのそれ?cFQ2f7LRuLYP.icon 少なくとも集合ダンジョンを進めておくのは推奨されてそう
非推奨takker.icon
えぇ〜あれだけ集合出てくるのに?cFQ2f7LRuLYP.icon
だよねえ……takker.icon
慣れるのを目的として素朴な集合論はやったほうがいいかもしれない。 p.15より
ここまでに述べた圏の例は重要だが、間違った印象を与えかねない
ここまでに述べた圏:集合圏、群圏、環圏など
まだ顔も知らない強敵たちcFQ2f7LRuLYP.icontakker.icon
圏の対象は、ほんのわずかでも集合のようである必要はないし、
圏の射は、これっぽっちも関数のようである必要はない。
これ、具体例を知らんと何がいいたいのか分かりづらそうSummer498.icon
なので、おいときます
https://www.youtube.com/watch?v=PGkzf24i3-Q
この動画の最後に出てくる$ \Rを対象とし、$ \leを射としたものを見るといい
いい、というのはためになるというよりも、ギャグとして面白いという意味Summer498.icon
『圏論の道案内』の初っぱなに出てくる例だtakker.iconすばらSummer498.icon 確かに集合や写像の概念を圏で構築することは可能だが、圏論で表現できるのはそれらにとどまらない、らしい
非推奨と書いちゃったけど、一方でtakker.iconは集合の用語を援用してメモを書いている。うーん集合の言葉は知っておいた方がいいのかな……
最初は分かりやすいもので誤解して、Summer498.icon
定義に立ち戻って「えぇ…これも当てはまるんかい」みたいな例を見つけて
カルチャーショックみたいなのを受けることで
理解を広げていけば良いと思う
「圏を集合のアナロジーで捉えてはいけない」と「圏を学ぶ前に集合のことを分かってたほうがいい」は別物でしょnishio.icon
最初に学んだプログラミング言語の概念を「すべてのプログラミング言語に通用する概念」と考えてはいけないことと、「プログラミング言語を学ばないまま、プログラミング言語論ができるか」は別の話
集合圏は圏のメジャーな具体例の一つであり、集合がわからないなら「メジャーな具体例のことがわからないまま抽象概念を獲得すること」が必要になる