関手圏
圏論という数学の分野において、与えられた2つの圏の間の関手たちは関手圏（かんしゅけん、）と呼ばれる圏をなす。その対象は関手であり、射は関手の間の自然変換である。関手圏は主に2つの理由によって興味が持たれる：