数学の特に圏論における（単位的・結合）環の圏（かんのけん、） は、すべての（単位元持つ）環を対象とし、すべての（単位元を保つ）環準同型を射とする圏である。他の多くの例と同じく、環の圏は大きい（すなわち、すべての環の成す類は集合でない真の類である）。
具体圏として 環の圏 は、すなわちその対象は集合に追加の構造（いまの場合、加法と乗法）を入れたものであり、その射はそれら構造を保つ写像である。環の圏から集合の圏への自然な が、各環をその台となる集合へ写すことによって（つまり、加法と乗法という演算を「忘れる」ことによって）与えられる。この忘却函手の左随伴 は各集合 に の生成する自由環を対応させる自由函手である。
環の圏を、アーベル群の圏 上の、あるいはモノイドの圏 上の具体圏と見ることもできる。具体的に、乗法あるいは加法をそれぞれ忘れることによって、二つの忘却函手 および が得られる（つまり は環の加法群を取り出す函手、 は環の吸収元付き乗法モノイドを取り出す函手である）。この二つはいずれも左随伴を持つ。 の左随伴は、任意のアーベル群 に対し（それを -加群と見て）テンソル環 を割り当てる函手である。また の左随伴は、任意のモノイド に整係数モノイド環 が対応する。
性質 極限と余極限について 環の圏 は完備かつ余完備、すなわち任意の小さい極限および余極限が 内に存在する。他の多くの代数圏同様に、忘却函手 は極限およびを創出（および保存）するが、余積や余等化子は保たない。 や への忘却函手も極限を創出および保存する。
における極限と余極限の例を挙げる: 有理整数環 は の始対象である。 零環（自明環）は の終対象である。 における圏論的直積は環の直積で与えられる。これはちょうど、台集合の集合論的直積に成分ごとの加法および乗法を入れたものになっている。 環の族の余積は存在し、それは群の自由積と類似の構成によって与えられる。零環でない環からなる余積が零環となることが起こり得る。特に、各余積因子が互いに素な標数を持つときには必ずそれが起こる（環の族 の余積の標数は、必ず各因子 の標数を整除しなければならない）。 における等化子はちょうど集合論的な等化子に等しい（二つの環準同型の等化子は必ず部分環として得られる）。 二つの環準同型 の余等化子は、 を なる形の元全体で生成されるイデアル で割った剰余環である。 環準同型 に対し、 の（すなわち、 と の引き戻し）は、 上の合同関係である。この合同関係の定めるイデアルは、環論の意味での の核に他ならない。注意すべきは、圏論的核は（零射が存在しないから） において意味を為さない。 -進整数環 は整数の合同類環 の成す列の における逆極限である。
射について 数学においてよく知られた多くの圏と異なり、環の圏 の任意の二対象の間には必ずしも射が存在するわけではない。これは（単位的）環準同型が単位元を保つという事実の反映である。例えば、零環 から任意の非零環への射は存在しない。環 から への射が存在するためには、 の標数が の標数を割り切ることが必要条件である。
射集合が空となることがあってさえ、それでも始対象が存在するから、環の圏 はである。
の射について、以下のことが言える: 環の圏 における同型射は、一対一上への（つまり集合論的な意味で全単射な）環準同型で与えられる。 環の圏 における単型射（圏論的単射）は、集合論的単射（つまり一対一の）環準同型である。しかし、任意の単型射はとは限らない。 任意の集合論的全射（つまり上への）環準同型は における全型射（圏論的全射）だが、逆は正しくない。包含環準同型 は集合論的全射でない圏論的全射の例である。任意の可換環 から、その任意の局所化への自然な環準同型は、圏論的全射であるが必ずしも集合論的全射となるわけではない。 集合論的全射な環準同型は におけるまたはとして特徴づけられる（ においてこの二つの射のクラスは一致する）。 環の圏 における双型射は一対一全型射（集合論的単射な圏論的全射）である。包含射 は同型射でない双型射の例である。
その他 環の圏 における入射対象は同型を除いて零環（すなわち終対象）ただ一つである。 環の圏 には零射が存在しないから、 は前加法圏とはなり得ない。が、任意の環（をただ一つの対象を持つ小さい圏と見なしたもの）は前加法圏である。 環の圏 は環のテンソル積 をモノイド積、有理整数環 を単位対象として対称モノイド圏を成す。これは におけるモノイド対象 とは可換環に他ならないことを述べたから従う。 において対象 へのモノイド対象 （つまり可換環）の作用は、ちょうど-多元環である。
部分圏について 環の圏 はいくつも重要な部分圏を持っている。例えば、可換環、整域、主イデアル環、体それぞれの全体の成す充満部分圏などが挙げられる。
可換環の圏 可換環の圏 はすべての可換環を対象とする の充満部分圏である。可換環の圏は可換環論における主題の研究の中心的な対象の一つである。
任意の環は、 の形の元全体で生成されるイデアルで割ることで可換にすることができる。これにより定義される可換化函手 は包含函手の左随伴であり、したがって は のとなる。集合 を生成系とする自由可換環は、 の各元を不定元とする多項式環 によって与えられ、 にそれが生成する自由可換環を対応させる函手は忘却函手 の左随伴を与える。
可換環の圏 は環の圏 において極限閉、すなわち における極限は、それを の図式と見てとった極限と一致する。しかし余極限は一般には一致しない。そのような方法で における余極限を得るには、 においてとった余極限の（上に書いたような剰余環をとって）可換化しなければならない。二つの可換環の余積は、環のテンソル積によって与えられる。やはり二つの非零可換環の余積は零環となり得る。
可換環の圏 の反対圏 はアフィンスキームの圏に圏同値である 1. Definition.。この同値対応は、各可換環にそのスペクトルとなるアフィンスキームを対応させる反変函手によって与えられる。
体の圏 体の圏 は、すべての可換体を対象とする の充満部分圏である。体の圏はほかの代数圏のようにはよく振る舞わない。特に「自由体」（すなわち忘却函手 の左随伴となるもの）は存在しない。したがって、 は の反映的部分圏ではない。
体の圏 はでも有限余完備でもない。特に、 は積も余積も持たない。
もう一つ体の圏 の著しい点は、任意の射が単型射となることである。これは体 のイデアルが零イデアルか 自身かに限られるという事実から従う。ゆえに、 における射を体の拡大と見なすことができる。
体の圏 はではない。実際、標数の異なる体の間には射は存在しない。 の各連結成分は、に対する、標数 の体すべてからなる充満部分圏になる。そのような部分圏の各々は始対象を持つ（それは標数 の素体であり、詳しく書けば のとき有理数体 , が素数のとき -元体 である）。
関連する圏および函手
群の圏
環の圏 から群の圏 への自然な函手が、各環 にその単元群 を対応させ、各環準同型を に制限することによって与えられる。この函手は左随伴を持ち、それは各群 を整係数群環 に送るものである。
もう一つ、環の圏 から群の圏 への函手として、各環 を射影線型群 （環上の射影直線 に作用する二次行列環 の単数群）が挙げられる（先の例で は一般線型群 と見ることができることに注意せよ）。
多元環の圏 可換環 を一つ固定して、すべての -多元環を対象とし、すべての -多元環準同型を射とする圏 が定義できる。
環の圏は多元環の圏の特別の場合と考えられる。実際、任意の環は一意的な方法で -多元環と見なすことができ、環準同型は -多元環準同型に他ならないから、環の圏 は -多元環の圏 にである .。環の圏に関する多くの言明を、-多元環の圏に関する言明に一般化することができる。
各可換環 に対して、-加群構造を忘れる忘却函手 が考えられる。この函手は左随伴を持ち、それは各環 に対してテンソル積環 に を満たすように -多元環構造を入れたものを対応させる函手となる。
擬環の圏 文献によっては、環の定義に単位元の存在を仮定せず、環準同型の定義にも単位元を保つことは（仮に単位元が存在する場合でも）課さないというものがある。そのような定義に基づけば とは異なる環の圏が得られる。ここでは区別のため、そのような代数構造を擬環（あるいは必ずしも単位的でない環、非単位的環）(Rng) と呼び、それらの間の準同型を擬環準同型 (rng-準同型) と呼ぶことにすれば、すべての擬環の成す圏 を考えることができる。
環の圏 が の充満でない部分圏となることに注意せよ。充満でないことは、擬環準同型が必ずしも単位元を保たないことにより、 の射とはならないことによる。包含函手 は左随伴を持ち、それは任意の擬環に対して形式的に単位元を添加する函手として与えられる。これにより は の充満でないとなる。包含函手 は極限を反映するが余極限は反映しない。
零環 は の始対象および終対象を与える（すなわちそれは零対象である）。これにより、 が（ と同じく、そして と異なり）零射を持つことが従う。実際に零射は、すべての元を に写す擬環準同型として与えられる。零射が存在するにもかかわらず、やはり は前加法圏にならない（二つの擬環準同型の点ごとの和は一般には擬環準同型でない）。 における余積（圏論的直和）は、擬環の直和と同じものではない。
アーベル群の圏 から擬環の圏 への忠実充満函手が、各アーベル群を、それに自明な積を入れたに対応させることで与えられる。
においてを考えるのは、それを において考えるよりもやや不自然である。例えば、一点集合 で生成される自由擬環は を不定元とする定数項を持たない整係数多項式の全体であり、他方 の生成する自由環はちょうど整係数多項式環 になる。
参考文献
外部リンク
,