weighted limitの例としてhomotopy limitをみていく。 weighted limit in nLab とりあえず今日は設定だけ。 V=sSetとし、KをK_0=\{r, s, t\}でK(x,x)およびK(r,t), K(s,t)は1点で他は\emptysetとする。 1点の間の射により合成が定まっており、unitも1点の間…