翁 retweeted
やります.
・(各点)Kan拡張を,「再構成の数理」というスローガンで非数学者に話す予定です.
(数学者へ:群論を「対称性の数理」というスローガンで話すこととパラレルな"比喩"です)
・数学的に厳密な話と,そこに私が見ているものの両方の話をします.
12/8に洞 龍弥 @hora_algebra さんに駒場キャンパスにて「Kan拡張入門:再構成の数理として」というタイトルの集中講義をしていただけることになりました。内容としては、数学が専門ではない人向けに圏論におけるKan拡張の概念を解説していただくものになります。どなたでもご参加可能です。以下詳細
翁 retweeted
松村可換環論ゼミ ( § 11. DVR, Dedekind 環 )
すでに Neukirch でやった内容もあったけど、分数イデアルについて 可逆⇔射影的 とか、あと ht を挟む議論とか、はとても環論で面白かった
Krull-秋月 の証明重すぎる
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math









