変なこと書いてるので、上で訂正した。
pointed simplicial setは\Delta[n]_+のcolimitでかけるかどうか。
Setへの忘却関手を合成すると、表現可能関手\Delta[n]のcolimitでかける。
このcolimtに*を直和してcolimitをとれば(訂正)pointed simplicial setとしてのcolimitになっているのではないかと思うが、ちゃんと証明できない。
一般論でスッキリいくと思うけど。
というところまで書いて、こういうの前に書いた気がして見てみると
でpointed setのcolimitをsetのcolimitに*を直和したものと書いてあった。
これを前層の話にすればいいだけという感じに見えるが、圏論力がないのでもう少し考えてみる。
