http://www.math.jhu.edu/~eriehl/ssets.pdf limit/colimitを表現可能関手で書く。 F:I \to Cのlimit limFとは、Cの対象であって、Fiたちへの可換な射についての普遍性を持つもの。 これは次の関手を表現する対象とみなせる。 Cの対象xに対して、対角関手 \D…