http://www.math.jhu.edu/~eriehl/ssets.pdf coendとnatural transformの関係。 共変関手F:C \to Setと反変関手G:C \to Setに対し、図式FyGy \ot FxGy \to FxGxのwedge (fx:FxGx \to e)_xを考える。 tensorの普遍性からfx:Fx \to Hom(Gx, e)を定義でき、これ…