部分圏
数学において,圏 C の部分圏(ぶぶんけん,英: subcategory)とは,圏 S であって対象が C の対象で射が C の射で同じ恒等射と射の合成をもつものである.直観的には,C の部分圏は C から対象と射をいくつか「取り除いて」得られる圏である.
有限集合の圏は集合の圏の充満部分圏をなす.
対象が集合で射が全単射な圏は集合の圏の充満でない部分圏をなす.
アーベル群の圏は群の圏の充満部分圏をなす.
単位元をもつ環の圏(射は単位元を保つ環準同型)は環の圏の充満でない部分圏をなす.