一つ前の記事 pointed simplicial set 3 - epsilon がおかしなことを書いていたので改めて Cを終対象*とcolimitを持つ圏で、*/Cをpointed objの圏とする。 このときX:I \to */Cに対しcolim XはFXと*からなる図式のcolimitをCでとって*から誘導される射で*/C…