>それにしても、デイヴィッド・スピヴァックはほんとうにアイデアマンだなー、と関心します。関手データモデルにしろologにしろ、圏論を使っているとはいえ、どんな教科書にも載っている範囲の知識です。スピヴァックは、簡単な道具をうまく組み合わせて目覚ましい成果を挙げます ref