となることをいう.充満部分圏は S の対象の間のすべての射を含むものである.C の対象の任意の集まり A に対し,対象が A であるような C の充満部分圏が一意的に存在する. 有限集合の圏は集合の圏の充満部分圏をなす. 対象が集合で射が全単射な圏は集合の圏の充満でない部分圏をなす. アーベル群の圏は群の圏の充満部分圏をなす.
部分環
数学における部分環(ぶぶんかん、英: subring)は、環 R の部分集合 S で、R の加法と乗法をそこに制限するときそれ自身が環となり、かつ R の単位元を含むものを言う。単位元を持つことを仮定しない場合には、R の演算の制限で S が環を成すことのみを以って部分環を定義する(この場合も自動的に
Lee commented
Lee commented
Lee commented
yuhui liao commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented