感じとしては、こうだと思う。スキーマは空間だと思う。だから、ドクトリンは空間と連続写像の圏。空間Xの点の集合は|X|、Xは繋がり具合いも含めた情報を持つのでまー位相空間。ただし、今のところ1-複体のようなもので、高次セルは持たない（いずれは高次化…

Fがデータベースインスタンスで、Fのスキーマを S = Sch(F) とする。スピヴァックのリフティングクエリーの理論だと、Fのクエリーの圏 Query(F) が定義できる。Query(F) の対象は、四角形の図式だが、その一辺は、p:R→S という形をしている。このpがプローブ…

derivatorといえば、モーリッツ・コーツ（Moritz Groth）の学位論文が詳しい。216ページでとても読みきれんが。 http://www.math.uni-bonn.de/people/grk1150/DISS/dissertation-groth.pdf コーツは、ジョルジュ・マルツィニョティス（Georges Maltsiniotis…