end in nLab 一般のV-cat Xに値を持つV-functor F:C^op \otimes C \to Xのendは次のように定義する。 x \in Xに対して関手C^op \otimes C \to VをX(x, F(-,-))により定め、そのend \int_C X(x, F(-,-)) \in Vが存在するとき、これにより関手X \to Vが定まる…