その圏を関手圏(functorcategory)と呼びしばしば、図式の圏(categoryofdiagrams)とも呼ばれる.、BC(もしくは、Funct(C,B))と表記する.
しばしば、