圏論は、いくつかの数学ダンジョンをある程度クリアしたうえで挑むタイプのそれ？
タイトル再度直したcFQ2f7LRuLYP.icon
圏論ってもしかしていくつかの数学ダンジョンをある程度クリアしたうえで挑むタイプのそれ？cFQ2f7LRuLYP.icon
少なくとも集合ダンジョンを進めておくのは推奨されてそう
非推奨takker.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
定義に立ち戻って「えぇ…これも当てはまるんかい」みたいな例を見つけて
カルチャーショックみたいなのを受けることで
理解を広げていけば良いと思う
最初に学んだプログラミング言語の概念を「すべてのプログラミング言語に通用する概念」と考えてはいけないことと、「プログラミング言語を学ばないまま、プログラミング言語論ができるか」は別の話
集合圏は圏のメジャーな具体例の一つであり、集合がわからないなら「メジャーな具体例のことがわからないまま抽象概念を獲得すること」が必要になる 確かに、両者を混同してましたtakker.icon
元々、p.15のように圏論は集合論で表現できることを別の記法で書き換えたもの程度ではない、という言説をいくつか見ていた
それを背景に、「圏論は集合論の単なる言い換え」と捉えることは危険だと警戒していた
新しいものを「昔あった〇〇と同じじゃん」と単純に捉えると危険という構造
ここまでは自戒として持つのはまあいいと思う
ただ警戒しすぎるあまり、集合のアナロジーから圏論にアプローチする行為にも過剰反応してしまった
これは集合など「すでに知っている数学」と関連づけるのが大事と言ってるように見える とはいえ、言い回しはいい出したらきりがないし防ぎようがないので深く考えてもしょうがなさそう
事後に気づいたり指摘されたら改善しよう、という程度かな
とりあえず自分が強い主張を抱いてそうなトピックのときは、普段よりちょっとだけ言葉選びに意識を向けよう、ってところかな