圏 (数学)
双対圏 C - obj(C) = obj(C), HomC(X, Y) = HomC(Y, X) である圏 C
部分圏 D - obj(D) ⊂ obj(C) であって、任意の対象 X, Y ∈ D に対して HomD(X, Y) ⊂ HomC(X, Y) となる圏 D
充満部分圏 D - 圏 C の部分圏であって、任意の対象 X, Y ∈ D に対して HomD(X, Y) = HomC(X, Y) となる圏 D