V-functorの間のnatural transformationの定義について。 http://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdf の1.2を参照。 二つのV-functor T,S;A \to Bの間のV-natural transform \alphaはAのob aごとに定まる射\alpha_a:I \to B(Ta, Sa)であって…