ちょーさん

@cho_san111000 の数学垢です

[ちょーさん @kyo_math1729]

このスライド作った人がポンコツらしくて後半大嘘書いてるので注意した方がいいですよ
今再勉強中でそのうち謝罪会見という名の訂正講演をするつもりがあるとかないとか

[秋桜 @cosmos9651]

良い質問の一つだったんですが、多様体の微分形式もこの写真のように自然変換だと思うことができるのでdiff.sp.上でも少なくとも一つは自然に定義はできますね

以下の引用です(diffeologyに詳しい人がいるみたいですね、今度のspmAdvで色々教えてもらお)
https://t.co/0ZDOQbUWq8

[ちょーさん @kyo_math1729]

@yozo_poya0101 対戦よろしくお願いします！！！楽しみです！！！

[ちょーさん @kyo_math1729]

diffeological（微分論理的）

[ちょーさん @kyo_math1729]

@cosmos8128 たぶんde Rhamのあれになるかなぁという感じです。楽しみにしてます！

[ちょーさん @kyo_math1729]

#spmAd9th
diffeology班で参加しますよろしくお願いします。
ホモトピー畑の人間です。

[ちょーさん @kyo_math1729]

数物合宿Adv初参加だけどイカツいメンツでビビり倒してる

[ちょーさん @kyo_math1729]

@KyoaniFor すみません、元ポストは完全に数学の話のつもりで物理の方の用語は想定してませんでした…
確かにそっちも絡んで余計難しいかもしれませんね

[ちょーさん @kyo_math1729]

位相の定義を述べてください。

実はめちゃくちゃ難しい質問だと思う

[ちょーさん @kyo_math1729]

@warabi_momo たぶんですけど異なる概念を混同してる気がします
物理の位相は英語でphaseといって、数学の位相は英語でtopologyといって、それぞれ別の概念です。たまに数学の人と物理の人とで取り違えて混乱してるのを見ます

[ちょーさん @kyo_math1729]

圏の具体例とかで出てくる「実は群は対象が1つの圏です！」みたいなやつ、理解すると「おまえそれは群じゃなくてモノイドで喋れや」ってなる
同じ理由で「順序集合は射が高々1つの圏！」も「おまえそれは順序じゃなくて前順序で喋れや」って思ってる

[ちょーさん @kyo_math1729]

随伴関手定理は常識の世界で生きてきたかもしれない

[ちょーさん @kyo_math1729]

@cosmos8128 教えてくれるdiffeology強い人がいるんだろうな〜

[ちょーさん @kyo_math1729]

diffeology班が立っている！diffeology教えてもらいにいくか〜

[数物セミナー公式アカウント @suubutu_PR]

【数物セミナー合同合宿 Advanced9thのお知らせ】
#spmAd9th の参加受付を開始しました！

本合宿ではより発展的な内容を扱います

円滑なリレーセミナーの開催の為、班紹介pdfをよくお読みの上ご応募お願いいたします

ご応募お待ちしております！

↓ 参加者募集フォーム
https://t.co/pRvLkiCqsr

[ちょーさん @kyo_math1729]

「多様体M,N，閉集合A⊂M，連続写像f:M→NがA上smoothならfはA上一致するあるsmooth写像にホモトピック」の命題を調べてました

[ちょーさん @kyo_math1729]

多様体なんも知らんの気持ちになってきた
標準的な多様体の教科書を読み返した方がいいかもしれない

[ちょーさん @kyo_math1729]

いや片方はそんな大した穴じゃないか

[ちょーさん @kyo_math1729]

改めてirrational torusのコホモロジー計算のロードマップを整理してみたけどデカそうな穴が2個空いてる

[ちょーさん @kyo_math1729]

頑張りました

[ちょーさん @kyo_math1729]

問題のdiffeological bundleのsigularがKan fibrationなことの証明くらい頑張るか…