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はいずれも…