http://www.math.jhu.edu/~eriehl/ssets.pdf 今日からしばらくsimplicial setについて上のpdfを読んでいく。 Eをcocompleteでlocally smallとし、F:\Detla \to Eを関手とする。 このFを用いてR:E \to sSetを対象の対応を(Re)n = E(Fn, e)として定義する。 こ…