環の圏

具体圏として

環の圏 Ring は具体圏、すなわちその対象は集合に追加の構造（いまの場合、加法と乗法）を入れたものであり、その射はそれら構造を保つ写像である。環の圏から集合の圏への自然な忘却函手 U: Ring → Set が、各環をその台となる集合へ写すことによって（つまり、加法と乗法という演算を「忘れる」ことによって）与えられる。この忘却函手の左随伴 F: Set → Ring は各集合 X に X の生成する自由環を対応させる自由函手である。
環の圏を、アーベル群の圏 Ab 上の、あるいはモノイドの圏 Mon 上の具体圏と見ることもできる。具体的に、乗法あるいは加法をそれぞれ忘れることによって、二つの忘却函手 A: Ring → Ab および M: Ring → Mon が得られる（つまりA は環の加法群を取り出す函手、M は環の吸収元付き乗法モノイドを取り出す函手である）。この二つはいずれも左随伴を持つ。A の左随伴は、任意のアーベル群 X に対し（それを Z-加群と見て）テンソル環 T(X) を割り当てる函手である。また M の左随伴は、任意のモノイド G に整係数モノイド環 Z[G] が対応する。

部分圏について

環の圏 Ring はいくつも重要な部分圏を持っている。例えば、可換環、整域、主イデアル環、体それぞれの全体の成す充満部分圏などが挙げられる。

可換環の圏

可換環の圏 CRing はすべての可換環を対象とする Ring の充満部分圏である。可換環の圏は可換環論における主題の研究の中心的な対象の一つである。
任意の環は、xy − yx の形の元全体で生成されるイデアルで割ることで可換にすることができる。これにより定義される可換化函手 Ring → CRing は包含函手の左随伴であり、したがって CRing は Ring の反映的部分圏となる。集合 E を生成系とする自由可換環は、E の各元を不定元とする多項式環 Z[E] によって与えられ、E にそれが生成する自由可換環を対応させる函手は忘却函手 CRing → Set の左随伴を与える。
可換環の圏 CRing は環の圏 Ring において極限閉、すなわち CRing における極限は、それを Ring の図式と見てとった極限と一致する。しかし余極限は一般には一致しない。そのような方法で CRing における余極限を得るには、Ring においてとった余極限の（上に書いたような剰余環をとって）可換化しなければならない。二つの可換環の余積は、環のテンソル積によって与えられる。やはり二つの非零可換環の余積は零環となり得る。
可換環の圏 CRing の反対圏 CRingᵒᵖ はアフィンスキームの圏に圏同値である。この同値対応は、各可換環にそのスペクトルとなるアフィンスキームを対応させる反変函手によって与えられる。

体の圏

体の圏 Field は、すべての可換体を対象とする CRing の充満部分圏である。体の圏はほかの代数圏のようにはよく振る舞わない。特に「自由体」（すなわち忘却函手 Field → Set の左随伴となるもの）は存在しない。したがって、Field は CRing の反映的部分圏ではない。
体の圏 Field は有限完備でも有限余完備でもない。特に、Field は積も余積も持たない。
もう一つ体の圏 Field の著しい点は、任意の射が単型射となることである。これは体 F のイデアルが零イデアルか F 自身かに限られるという事実から従う。ゆえに、Field における射を体の拡大と見なすことができる。
体の圏 Field は連結ではない。実際、標数の異なる体の間には射は存在しない。Field の各連結成分は、p = 0 または素数に対する、標数 p の体すべてからなる充満部分圏になる。そのような部分圏の各々は始対象を持つ（それは標数 p の素体であり、詳しく書けば p = 0 のとき有理数体 Q, p が素数のとき p-元体 Fₚ である）。

群の圏

環の圏 Ring から群の圏 Grp への自然な函手が、各環 R にその単元群 U(R) を対応させ、各環準同型を U(R) に制限することによって与えられる。この函手は左随伴を持ち、それは各群 G を整係数群環 Z[G] に送るものである。
もう一つ、環の圏 Ring から群の圏 Grp への函手として、各環 R を射影線型群 PGL(2, R)（環上の射影直線 P(R) に作用する二次行列環 M(2, R) の単数群）が挙げられる（先の例で U(R) は一般線型群 GL(1, R) と見ることができることに注意せよ）。

多元環の圏

可換環 R を一つ固定して、すべての R-多元環を対象とし、すべての R-多元環準同型を射とする圏 R-Alg が定義できる。
環の圏は多元環の圏の特別の場合と考えられる。実際、任意の環は一意的な方法で Z-多元環と見なすことができ、環準同型は Z-多元環準同型に他ならないから、環の圏 Ring は Z-多元環の圏 Z-Alg に圏同型である 。環の圏に関する多くの言明を、R-多元環の圏に関する言明に一般化することができる。
各可換環 R に対して、R-加群構造を忘れる忘却函手 R-Alg → Ring が考えられる。この函手は左随伴を持ち、それは各環 A に対してテンソル積環 R ⊗Z A に r·(s ⊗ a) := rs ⊗ a を満たすように R-多元環構造を入れたものを対応させる函手となる。

擬環の圏

文献によっては、環の定義に単位元の存在を仮定せず、環準同型の定義にも単位元を保つことは（仮に単位元が存在する場合でも）課さないというものがある。そのような定義に基づけば Ring とは異なる環の圏が得られる。ここでは区別のため、そのような代数構造を擬環（あるいは必ずしも単位的でない環、非単位的環）(Rng) と呼び、それらの間の準同型を擬環準同型 (rng-準同型) と呼ぶことにすれば、すべての擬環の成す圏 Rng を考えることができる。
環の圏 Ring が Rng の充満でない部分圏となることに注意せよ。充満でないことは、擬環準同型が必ずしも単位元を保たないことにより、Ring の射とはならないことによる。包含函手 Ring → Rng は左随伴を持ち、それは任意の擬環に対して形式的に単位元を添加する函手として与えられる。これにより Ring は Rng の充満でない反映的部分圏となる。包含函手 Ring → Rng は極限を反映するが余極限は反映しない。
零環 {0} は Rng の始対象および終対象を与える（すなわちそれは零対象である）。これにより、Rng が（Grp と同じく、そして Ring と異なり）零射を持つことが従う。実際に零射は、すべての元を 0 に写す擬環準同型として与えられる。零射が存在するにもかかわらず、やはり Rng は前加法圏にならない（二つの擬環準同型の点ごとの和は一般には擬環準同型でない）。Rng における余積（圏論的直和）は、擬環の直和と同じものではない。
アーベル群の圏 Ab から擬環の圏 Rng への忠実充満函手が、各アーベル群を、それに自明な積を入れた零擬環に対応させることで与えられる。
Rng において自由構成を考えるのは、それを Ring において考えるよりもやや不自然である。例えば、一点集合 {x} で生成される自由擬環は x を不定元とする定数項を持たない整係数多項式の全体であり、他方 {x} の生成する自由環はちょうど整係数多項式環 Z[x] になる。