高階関手〈higher-order functor〉は、高次圏のn-関手〈n-functor | higher functor〉のことではなくて、高階関数と同様に、関手（または自然変換）を引数にしたり、関手（または自然変換）を返すような関手のことです。高階関数の計算が、関数を射とする圏…