Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2009-06-16から1日間の記事一覧

米田のレンマのイメージ図

米田のレンマ(層・圏・トポス―現代的集合像を求めてのP.71)がどうも不思議な定理に感じたので、イメージ図を書いてみました。元の圏ではなく、Setsの圏内の図として書いてます。真ん中のC(を関手Fで移した集合)がhom関手をとる時に起点となる対象です。hom関…

『層・圏・トポス』読者の会 を作った

せっかくの名著を、ただ積んでおくのは勿体ないです。『層・圏・トポス』読者の会 を作りましたので,みんなで協力して読みましょう! 今なら勉強会も行われているので、読み切るチャンスです。