http://www.math.jhu.edu/~eriehl/weighted.pdf Yonedaとweighted limit/colimitの関係について、の前にenriched Yonedaの確認。 CをV-catとし、V-functor F:C^op \to Vとする。 x \in Cに対し、xとFについて自然な以下の二つの同型がある。 1. [C^op,V]_0(C…