先日の月一圏論ゼミでトポスの射の像分解とそこから得られる部分対象の間の随伴について話しました。 また発表用に像分解と随伴の話をpdfにまとめたのでここで公開しておきます。 トポスの計算にもだんだん慣れてきた気がするのでトポスでのロジック方面の話…