環の圏

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