http://www.math.jhu.edu/~eriehl/weighted.pdf
V=Setにおいて集合Dの添え字集合Jについての直積D^JはSet(x, D^J)=Set(x \times J, D)=Set(J, Set(x, D))を表現する対象。
これをweighted limitとして書く。
A=B=*とし、J:* \to Set, D:* \to Setはいずれも集合を定めている。
これに対して、weighted limitは[*,Set](J, Set(x,D))を表現する対象である。[*, Set]は単に集合の射を与えるものなので、上の計算からこれがD^Jであることがわかる。
