ざっと見て多数の誤り/ミスプリがありそう。数学書の場合仕方がないか。
P135 f^*の説明は層・圏・トポスP113のものより幾分か丁寧。f^*が恒等射と合成の保存を満たすかは確認した方がいいだろう(どちらもp.b.の唯一性から言える)。
P134 サブオブジェクトクラシファイアの証明はちょっと大胆すぎないか？ 「カンマ圏のmonoと元の圏のmonoが同じこと」「χ_hは元の圏のχとカンマ圏の対象(元の圏の射)の積であること」を言わないと危険な気が。
P132 この本はトポスの定義まで読めば十分と思っていたが、３章はまた非常に面白い。
P123 左随伴と右随伴はどう見たら左と右なんだ？？
高階論理を飛ばしたけどP118。Bn(I)は離散的な層みたいな感じ。Iに位相を入れて写像を局所同相にしちゃえばまんま層。
『圏論による論理学―高階論理とトポス』へのつぶやき
