部分圏

数学において，圏 の部分圏（ぶぶんけん，）とは，圏 であって対象が の対象で射が の射で同じ恒等射と射の合成をもつものである．直観的には， の部分圏は から対象と射をいくつか「取り除いて」得られる圏である．
定義.
 を圏とする． の部分圏 は以下によって与えられる：
であって以下を満たす
これらの条件は 自身が圏であることを保証する．対象の集まりは であり，射の集まりは であり，恒等射と合成は におけるものと同じである．対象と射を自身に写す明らかな忠実関手 が存在し，包含関手 (inclusion functor) と呼ばれる．
 を圏 の部分圏とする． が の充満部分圏 (full subcategory) であるとは， の各対象の対 , に対し，
となることをいう．充満部分圏は の対象の間の"すべての"射を含むものである． の対象の任意の集まり に対し，対象が であるような の充満部分圏が一意的に存在する．
埋め込み.
 の部分圏 が与えられると，包含関手 は忠実かつ対象上単射である．それが充満であることと が充満部分圏であることは同値である．
著者によっては埋め込み (embedding) を充満忠実関手と定義する．そのような関手は同型を除いて対象上単射でなければならない．例えば，米田埋め込みはこの意味での埋め込みである．
著者によっては埋め込みを対象上（真に）単射であるような充満忠実関手と定義する．
また著者によっては関手が埋め込みであることを忠実かつ対象上単射であるものとして定義する．あるいは同じことであるが， が埋め込みであることを射上単射であるものと定義する．このとき関手 が充満埋め込み (full embedding) であるとは，充満関手かつ埋め込みであることをいう．
任意の（充満）埋め込み に対し， の像は の（充満）部分圏 であり， は と の間の圏の同型を誘導する． が対象上真に単射ではなければ， の像は に同値である．
ある圏においては，圏の射についても埋め込みを定義できる．
部分圏の種類.
 の部分圏 が あるいは replete とは， の同型射 であって が に属するようなものはすべて に属することをいう．isomorphism-closed 充満部分圏は strictly full といわれる．
 の部分圏が wide あるいは lluf (P. Freyd によって最初に提案された用語) とは， のすべての対象を含むことをいう．lluf 部分圏は一般に充満でない：圏の充満 lluf 部分圏はその圏自身しかない．
セール部分圏 (Serre subcategory) は，アーベル圏 の空でない充満部分圏 であって， におけるすべての短完全列
に対して， が に属することと formula_4 と formula_5 がともにそうであることが同値であるものである．この概念はから生じる．