清水義夫『圏論による論理学』高階論理とトポス　東大出版会
がでるそうな。