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)であって、以下の二つの射が一致する（つまりaについて自然な）もの。
- A(a,b) \to I \otimes A(a,b) \to B(Tb,Sb) \otimes B(Ta,Tb) \to B(Ta,Sb)
- A(a,b) \to A(a,b) \otimes I \to B(Sa,Sb) \otimes B(Ta,Sa) \to B(Ta,Sb)
これは射の族を与えるものであって、V-functorのなすV-catの射の下部集合の元とみなすことができる。
