準猫

Quasi-cat.: Siberian, not feline.

[準猫 @8n_Cat]

up to homotopyで幸福な日々

[準猫 @8n_Cat]

そういや停止してるセミナーあったな？

数学やる余裕ないんだよなぁ

[準猫 @8n_Cat]

Ex^\inftyがKan complexを与えることの証明見るのがいいのかね
あそこで作れるfillerが実はある意味functorialだとか

[準猫 @8n_Cat]

Ex^\inftyが大事か？
ちょっと定義あやふやだけど

[準猫 @8n_Cat]

そうだとすると、与えられた多様体に対して、その上のベクトル束のなす圏をホモトピーの情報も込めて考えた、要は（かなり乱暴に言えば）多様体上のベクトル束のお話をするための適切な世界かな

[準猫 @8n_Cat]

連節層の導来圏、よく分かってない

[準猫 @8n_Cat]

連接層って大体ベクトル束のイメージ
指定された多様体の上のベクトル束のイメージ

ということはその複体なんだから、連節層の導来圏って大体はその多様体の上のベクトル束の圏か

ちゃんというと高次の構造込みでの圏
あってるかな

[準猫 @8n_Cat]

E_nなぁ
よく分からんね

[準猫 @8n_Cat]

あ、でも慣れた畑を離れて、新天地に赴くとそれまでの手法が通じなくて苦しいから「新天地の方がずっと難しい」「故郷は簡単だったんだ」という思い込みは発生するかもね

思い込みだとおもうけどね、それは
身についてから見返すとそりゃ整備されてるように見えるだろうよ

[準猫 @8n_Cat]

理系だろうと文系だろうと、研究するにあたって簡単なものなんてないと思いますがね

[準猫 @8n_Cat]

私は性質だけでガンガン殴れるほど無限圏に精通してないので、諦めて具体的な構成で殴ろうとして、無限圏の言葉で書かれてるやつをわざわざ定義に戻って具体的に計算しようとして死んでます

[準猫 @8n_Cat]

例えば剰余環とかも、大事なのは普遍性の方であってこれが同値関係だから云々ではないんだよね

「んなもんあるんすか」って言われたときに言い返すためにちゃんと作ろうとすると、ああやるのがいいという認識

全部具体的に書き下したいとなると、まぁ、うん、場合によっては構成まで戻ることあるけど

[準猫 @8n_Cat]

ルベーグ測度だって「こういう測度があればうまくいきますよ！」と言ったときに「じゃあそんなもん本当にあるんすか？」とケチをつけられたときに言い返すために構成するだけという認識なんだよな

そこに戻って計算することってどのくらいあるんすかね

[準猫 @8n_Cat]

リーマン積分なら早い段階で厳密に定義できる！って言われてもなぁ

B1の時点という縛りのもとで、あの定式化に戻って愚直に計算する必要性のある課題ってなくない？あるっけ？

[準猫 @8n_Cat]

私が言いたいのはですね

本質的な・純粋な肝の部分をどう説明するかに関しては論者によってまちまちなので、何を読んでも同じということはないはずだ、ということです

[準猫 @8n_Cat]

どの本読んでも同じ、は嘘ですよ
本質的な部分・肝の部分まで取り出せばそりゃ同じかもしれないけど、むしろその本質の部分が論者によって異なるのはおかしいし。
（本当に本質的な部分を捉えられているなら一意に定まって然るべき）

[準猫 @8n_Cat]

あるいは整備され尽くして「こう説明するのが鉄板」とまで言える方に定着したものしか知らないからそう感じるか

[準猫 @8n_Cat]

別の種類の群構造が入ることを示す方が早い……？

[準猫 @8n_Cat]

「これができればいいですね」というのは分かるが「ではどうすればできますかね」となるとてんで攻め方が分からん

手が動かん
どうしたのか

[準猫 @8n_Cat]

@misubi02 焼肉いいなー