米田のレンマ(層・圏・トポス―現代的集合像を求めてのP.71)がどうも不思議な定理に感じたので、イメージ図を書いてみました。元の圏ではなく、Setsの圏内の図として書いてます。真ん中のC(を関手Fで移した集合)がhom関手をとる時に起点となる対象です。hom関…
せっかくの名著を、ただ積んでおくのは勿体ないです。『層・圏・トポス』読者の会 を作りましたので,みんなで協力して読みましょう! 今なら勉強会も行われているので、読み切るチャンスです。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。