今週は、デイヴィッド・スピヴァックの考え・思いを勝手に憶測して説明してみる、という余計なお世話な記事を並べています（来週以降も続くかも）。それで、スピヴァックがやたらに名前を出すグロタンディーク（Grothendieck）のこと。以下の2つのスライド、…