今週は、デイヴィッド・スピヴァックの考え・思いを勝手に憶測して説明してみる、という余計なお世話な記事を並べています(来週以降も続くかも)。それで、スピヴァックがやたらに名前を出すグロタンディーク(Grothendieck)のこと。 以下の2つのスライド、あるいは他の著作物でもグロタンディーク構成はしょっちゅう出てきます。 Databases are categories (http://math.mit.edu/~dspivak/informatics/talks/galois.pdf) Databases are Categories II (http://math.mit.edu/~dspivak/informatics/talks/refinements_and_extensions.pdf) 実際にグロタンディーク構成を使っているのは、例として、RDF(Resource Descr