Catまたはその部分圏への関手をインデックス付き圏と呼び、多変数関手のときは多重インデックス付き圏と呼ぶことにする。アリティが (D-, C+) の関手とは、Dに関して反変、Cに関して共変な多変数関手のこと。Prof(C, C)内にモノイドがあれば、アリティが (C-…