>>28
「層 圏 トポス」３刷での訂正
ちょっと長いな。
３章２節の定理８
B=1に制限しては充分でないというところ。
一般の場合は面倒なのでB=1の場合のみ証明するというのが手が滑ったそうだ。
3刷でのあとがきでその一般の場合の証明がされている。