数学における圏（けん、category）とは数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏 "C" とは次のものからなる。ただし、これらは以下の公理を満たすとする。ここで射 "ƒ" が Hom("X

出典:wikipedia