改めてV-natural transformについて。 C, DをV-catとしF, G:C \to DをV-functorとする。 二つのV-functorの間の自然変換を定めたい。 普通の圏における自然変換は、Cの対象cごとに射Fc \to Gcを定める。 V-catではD(Fc, Gc)が集合ではないので、その元を取る…