関手圏
圏論という数学の分野において、与えられた2つの圏の間の関手たちは関手圏(かんしゅけん、英: functor category)と呼ばれる圏をなす。その対象は関手であり、射は関手の間の自然変換である。関手圏は主に2つの理由によって興味が持たれる:
よく現れる多くの圏は(暗に)関手圏であり、したがって一般の関手圏に対して証明された任意のステートメントは広く適用可能である;
すべての圏は(米田埋め込みによって)関手圏に埋め込まれる;関手圏はもとの圏よりもよい性質をしばしば持っており、もとの設定では利用可能ではなかった操作ができる。
↑ Mac Lane 1998, p. 40.
↑ Tom Leinster (2004). Higher Operads, Higher Categories. Cambridge University Press. http://www.maths.gla.ac.uk/~tl/book.html