トポスの入門書
Barr and Wells 『Toposes,Triples and Theories』
ttp://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf
いつのまにかアップされとった。