圏を学んでどうするかのイメージ
数学のあっちの世界とこっちの世界で似たようなことをやっている。
その世界のようすをうまくつなごうとしている。
その気持ちはよくわかるんだけど、そこにいったいどんな(アブストラクト・ナンセンスに陥らずに)数学を構築できるんだろうか。よくわからない(知らないのだからわからなくて当然)。
要素に触らずに証明できるパターンがあるっぽいけど、まだ理解していない。
対象は数学的なものっぽくて、射は関数っぽくて、圏は集合っぽい。
というイメージは悪くはないけれど一面的。
圏論ツイートを拾っておいて、理解できるようにはげみにしたい。