pointed setのlimitとcolimitについて F:I \to Sets_*に対し、忘却関手p:Sets_* \to Setsとの合成のlimitで(lim pF) \in Setsが定まる。普遍性から* \to (lim pF)が定まり、これが(lim F)の普遍性をみたす。 実際Setsでの普遍性からSetsの射が定まり、普遍性…