>>19
それで昔、勉強したよ。
層のところは、ひどいと聞いていたのでとばして別の本でやった。
まあ、圏とtopos高階直観論理のところだけ読めばいいんじゃない？
そこでも、３刷で訂正が入っていたけれど。