圏論やってると米田さんにお世話になる機会も多いと思うが， イマイチ意味も使い方も分からんいう僕みたいな人向けの記事です． 記事を書くにあたって，主に 圏論番外：米田の補題の周辺から(via 檜山檜山正幸のキマイラ飼育記) や， MathAdventCalenderの12…

SGLの4章読んでTopos導入をしている感じなのですが、 generalized elementってなんやねん という話で、ちょっと思ったことを書く。 Definition: をtopos、をその対象とします。 一般化元(generalized element)とは射のこと。 と言われてもなんのこっちゃ。 …