unaoya-epsilon.hatenablog.com 変なこと書いてるので、上で訂正した。 pointed simplicial setは\Delta[n]_+のcolimitでかけるかどうか。 Setへの忘却関手を合成すると、表現可能関手\Delta[n]のcolimitでかける。 このcolimtに*を直和してcolimitをとれば(…