清水義夫　東大出版　の　「圏論による論理学」読んだ方いらっしゃいますか？？

初心者の私にも、わかりやすくサクッと読めて分かった気分になれたので結構いい本だと思うのですが、ちょこちょこ細かい間違いがある気がします。
できれば正誤表が欲しいのですが、どこかにあるかご存知の方いらっしゃいませんか？？

具体的には、176ページの注意２）の、空間性トポスについての subobject classifier Ω の stalk sp. に入る位相で、
<i,[U]_i> ∈ I^ の近傍が {<i,[U]_i> | i∈V かつ V∈O(I) かつ U∈V } ( O(I) は I の開集合族)
と書かれているのですが、
{<i,[U]_i> | i∈V かつ V∈O(I) かつ U∈V } の i と U のどちらがその前に出てきた <i,[U]_i> ∈ I^ によって fix されているのか区別がつきません。
※まさか i も U もということはないと思います。
（多分、ミスだと思います。ってかそもそも、空間性トポスの説明のあたりで、位相空間に関する説明があやしいです。）

だれかご存知の方がいたらお願いします。