清水義夫「圏論による論理学 高階論理とトポス」東京大学出版会 (2007)

トポスの定義1（p.82）に誤りがある．p.80 の注意 2) が誤りで，subobject classifier の pullback の存在を仮定する必要がある．

竹内外史「層・圏・トポス」日本評論社 (1978) では，pullback の存在を subobject classifier の定義に入れているが，トポスの公理に入れるべき．