スピヴァック理論スゲーッ、とずっと言い続けているが、簡単な命題に簡単な具体例を入れると、ソフトウェア的にはけっこうな発見だったり、が毎日続いている。本編に書いたderivatorの道具立てと用語で考えるとして、スキーマ射uに伴う前層の引き戻し（逆像 …

http://www.math.ru.nl/~mgroth/preprints/groth_seattle.pdf これはGrothのポスターのような資料だが、4upでA4一枚に印刷できる。だが、字が小さい！読むと目が疲れる、シンドイ。C = (C, W) が圏と弱同値射のクラスとして、これだけのセッティングで抽象ホ…