http://www.math.jhu.edu/~eriehl/ssets.pdf F:\Delta \to Eに対し、関手L:sSet \to EをX:\Delta^op \to SetにXとFのcoendを対応させる関手として定義する。 特にXを[n]が表現する単体的集合としたとき、LXはFnになる。 まずFnがwedgeになることをみる。 XmF…