数学の一分野である圏論において中核的な概念を成す圏（けん）は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる。

二つの圏が等しいとは、それらの対象の集まりが等しく、かつそれら対象の間の射の集まりが等しく、さらにそれら射の対の結合の仕方が相等となることを言う。圏論の目的に照らせば、圏がまったく相等しいことは非常に強すぎる条件であり（それよりも緩いでさえ強すぎる）、圏同値がしばしば考慮される（二つの圏が同値であるとは、大まかに言えば圏の相等において等式で与えられる関係を、それぞれの圏における同型で置き換えたものとして与えられる）。

圏論が初めて現れるのは "General Theory of Natural Equivalences"（「自然同値に関する一般理論」）と題された論文  である。古典的だが今もなお広く用いられる教科書として、マクレーンの『圏論の基礎』がある。

定義 
圏の定義にはいくつか同値なものが存在するが、よく用いられるものの一つを以下に示す。
圏  は以下のものからなる:
 対象の類 
 対象の間の射の類 
 各射  には始域と呼ばれる対象  および終域と呼ばれる対象  が付随して、" は  から  への射である" と言い、 と書き表す。
  から  への射の類 (hom-class; ホム類)  は  から  への射全体の成す類を言う。
このとき、任意の三対象  に対し、射の合成と呼ばれる二項演算  が存在して以下の公理を満足する:
 結合律: , ,  ならば  が成り立つ。
 単位律: 各対象  に対して  の恒等射と呼ばれる自己射  が存在して、任意の射  および  に対して  を満たす。

これらの公理から、各対象に対して恒等射はただ一つ存在することが示せる。文献によっては各対象を対応する恒等射と同一視して、対象の存在を陽に仮定しない定義を採用するものもある。

 記法についての注意
 一般の圏を表すのに、しばしばラテン大文字の太字  や、ラテン大文字のカリグラフ体   などが用いられる。特定の圏は、その対象を表す単語（の省略形）を用いて同様の仕方であらわす。例えば集合の圏   や体の圏 , 位相空間の圏 , 束の圏  のような具合である。
 圏  の射の類  は  や  などとも書く。同様に対象  に対する射の類も  や  などとも書かれる。どの圏で射を考えているか紛らわしいときには、 や  のように圏を明示することもできる。より簡便な記法では、圏  の対象の類を  で表し、射の類を記号の濫用だが  で表す（この場合  から  への射の類は単に  と書く）。
 射の合成を  で（あるいは単に併置  で）表すのは写像とその合成の慣習に合わせたものだが、文献によっては「図式順」で  や  と書くものもある。

 圏の大きさ
 圏  が小さい (small) とは、対象の類  および射の類  がともに集合となる（つまり真の類でない）ときに言い、さもなくば大きい (large) と言う。射の類が集合とならずとも、任意の二対象  をとるごとに、射の類  が集合となるならば（を射集合、ホム集合などと呼び）、その圏は局所的に小さい (locally small) と言う。集合の圏など数学における重要な圏の多くは、小さくないとしても、少なくとも局所的に小さい。

文献によっては、局所的に小さい圏のみを扱い、それを単に圏と呼ぶ場合もある。

例 
以下は圏の例である。参照。
 EtaleK - 体 K 上のエタール代数を対象とし、K-代数としての準同型を射とする。
 コボルディズムは圏と見なせる。

諸定義 
以下では特に断らない限り C を圏、X や Y をその対象、その間の射を ƒ : X → Y とする。参照。
 圏の構成法
 双対圏 Cop - obj(Cop) = obj(C), HomCop(X, Y) = HomC(Y, X) である圏 Cop
 部分圏 D - obj(D) ⊂ obj(C) であって、任意の対象 X, Y ∈ D に対して HomD(X, Y) ⊂ HomC(X, Y) となる圏 D
 充満部分圏 D - 圏 C の部分圏であって、任意の対象 X, Y ∈ D に対して HomD(X, Y) = HomC(X, Y) となる圏 D
 対象の種類
 始対象 I - 任意の対象 Y に対して #HomC(I, Y) = 1 である対象 I
 終対象 T - 任意の対象 X に対して #HomC(X, T) = 1 である対象 T
 零対象 0 - 始対象かつ終対象である対象0
 射の種類
 単射 ƒ : X → Y - 任意の対象 Z と射 g, h : Z → X に対して g ≠ h ⇒ ƒg ≠ ƒh である射 ƒ
 全射 ƒ : X → Y - 任意の対象 Z と射 g, h : Y → Z に対して g ≠ h ⇒ gƒ ≠ hƒ である射 ƒ
 全単射 ƒ : X → Y - 単射かつ全射である射 ƒ
 同型射 ƒ : X → Y - gƒ = idX かつ ƒg = idY となる射 g : Y → X がある射 ƒ
 逆射 ƒ−1 : Y → X - 同型射の定義における射 g
 以下では圏 C は零対象0をもつとする。
 零射 0 : X → Y - 射 X → 0 と 0 → Y の合成
 核 i : W → X - より正確には、射 f : X → Y の核とは ƒi = 0 であって、ƒu = 0 を満たす任意の射 u : U → X に対して u = i v となる射 v : U → W が一意に存在する射 i
 余核 p : Y → Z - より正確には、射 f : X → Y の余核とは pƒ = 0 であって、uƒ = 0 を満たす任意の射 u : Y → U に対して u = v p となる射 v : Z → U が一意に存在する射 p

関手 

2 つの圏 C, D があったとき、
 C の対象 X に対し D の対象 F(X) を与える
 射 f : X → Y に対し射 F(f) : F(X) → F(Y) を与える
という対応 F で射の合成や恒等射を保つものは（共変 (covariant)）関手 F とよばれる。一方、似たような対応で射の定義域と余定義域とを入れ替え、合成の順番を反対にする対応は C から D への反変関手 (contravariant functor) とよばれる。C から D への反変関手を考えるということは C の双対圏 Cop から D への共変関手を考えるということと同じになる。

自然変換 

自然変換 (natural transformation) は 2 つの関手間の関係である。関手はしばしば「自然な構成」を記述し、そして自然変換はそのような 2 つの構成の間の「自然な準同型」を記述する。時に 2 つの全く違う構成が「同様の」結果をもたらすことがある。これは、2 つの関手間の自然同型 (natural isomorphism) にて表現される。
2 つの関手 F, G に対し、F から G への自然変換が存在して ηx が C に含まれる全ての対象 x に対して同型射となるとき、この自然変換は自然同型 (naturally isomorphic) であるという。

圏の種類 
 前加法圏 / 加法圏 / アーベル圏
 完備圏
 モノイド閉圏 / デカルト閉圏
 トポス

高次圏 
圏が与えられているとき、そこからより複雑な高次圏を考えることができる。簡潔には、2 つの対象の間の射を「一方の対象からもう一方への対応関係」とみなすならば、これを高次圏において「高次の対応関係」を考慮することで、より有益な一般化が可能となる。

例えば、「二次元の圏」である（bicategory) もしくは  (2-category) は「射の間の射」、つまり、ある射を別の射に変換する対応関係によって得られる圏である。これらの「2-射」(2-cell) は水平・垂直に「合成」することができ、かかる 2 つの合成則においては 2 次元の「交換則」(exchange law) が成り立つ。この最も標準的な例は Cat、つまり全ての（小さな）圏から成る 2-圏であり、この例において、射には関手が、2-射には、関手の自然変換が当てはまる。もう 1 つの基本的な例としては、対象 1 つから成る 2-圏である—これは(狭義)モノイド圏である。

この手法を任意の自然数 n で拡張し、n-圏（n-category、n 次圏）を定義することができる。さらに順序数 ω に対する ω-category と呼ばれる高次圏もある。このアイデアに関する堅苦しくない入門文献としてJohn Baez: The Tale of n-categoriesが挙げられる。

空間を圏で表す 
(O, ≤) が順序集合のとき、これを次のような圏 CO と同一視することができる：obj(CO) = O とし、p, q ∈ O = obj(CO) について p ≤ q のとき、およびそのときに限り p から q への射がただ 1 つ存在する、として CO における射を定める。ここで順序関係の推移律が射の合成に、反射律が恒等射に対応している。特に位相空間 X に対してその開集合系 O(X) を圏と見なすことができる。

G が群のとき、対象 Y ただ 1 つからなり、Hom (Y, Y) ≡ G であるような圏を G と同一視することができる。また、位相空間の基本亜群や「被覆」のホロノミー亜群など、様々な亜群による幾何学的な情報の定式化が得られている。

これらは様々な種類の数学的対象を圏によって言い換えていることになる。層やトポスの概念によってこれらを共通の文脈の中におくことが可能になる。

歴史 

1945年のサミュエル・アイレンベルグとソーンダース・マックレーンによる、代数的位相幾何学において直感的／組み合わせ的に定義されていたホモロジー・コホモロジーを公理化する研究の中で圏、関手および自然変換が実際に定義された。アイレンベルグとマックレーンの目的は、位相空間の理論と可換群の理論のような異なる数学的体系の間の自然変換を理解することだったが、そのためには関手の概念が必要であり、関手を定義するためには圏の概念が必要だったのである。

その後アレクサンドル・グロタンディークらによるホモロジー・コホモロジー理論を圏論に基づいて定式化する試みの中で、アーベル圏・三角圏など、関手を計算するうえで期待される重要な性質を持つクラスの圏が公理化されていった。一方、ガロア理論の圏論化を通じ、群が作用する集合の圏と通常の位相空間を圏論の枠組みで包括的にとらえるようなトポスの概念が得られた。