改めてweighted limitをやる。 weighted limit in nLab Vをclosed symmetric monoidal catとし、F:K \to C, W:K \to VをV-functorとする。 FのWをindexとするweighted limitとは次で定まる関手を表現するCの対象lim^WF。 C^opの対象cに対し、関手C(c, F(-)):…