竹内さんの本『層・圏・トポス』には例が少ない、という話をしました。マックレーンの本は例が多いらしい*1けど、その例が難し過ぎるという噂も聞きます。ここで、割と簡単で示唆的な例を2つ挙げておきます。点付き集合の圏これはよく引き合いに出される例で…

「読む人達へ」とはいっても一般論ではなくて、ジョニーが『層・圏・トポス』を読む勉強会をするらしいので、このメンバーへ老婆心から二三言っておきたいことです。 「層・圏・トポス 現代的集合像を求めて」 勉強会 - hiroki_fの日記 Diary?::2009-04-28 …