drive.google.com 今回も6月9日のゼミ発表の内容をまとめたものを記事にします。 エンドと呼ばれる圏の積分を定義し、Fubiniの定理を証明しました。まだ全然エンドには詳しくないですが、定義を見る感じ特殊な極限ですね。(なので右Kan拡張ですね笑)ゼミでは…

drive.google.com 6月9日に京都大学で圏論ゼミを行いました。今回はそこで私が発表した内容の一部を記事にしようと思います。(次回は7月14日にやる予定なので興味ある人はどうぞ) 「All Concepts Are Kan Extensions」「エンド(Fubiniの定理)の話」という2つ…