2-category

<h2 id="definitions">Definitions</h2>
<h3>A strict 2-category</h3>
By definition, a strict 2-category C consists of the data:<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a>

<ul><li>a <a href="/facts/Class_(set_theory)/F5EmDd9b">class</a> of 0-cells,</li>
<li>for each pairs of 0-cells 
 
 
 
 a
 ,
 b
 
 
 {\displaystyle a,b}
 
, a set 
 
 
 
 Hom
 ⁡
 (
 a
 ,
 b
 )
 
 
 {\displaystyle \operatorname {Hom} (a,b)}
 
 called the set of 1-cells from 
 
 
 
 a
 
 
 {\displaystyle a}
 
 to 
 
 
 
 b
 
 
 {\displaystyle b}
 
,</li>
<li>for each pairs of 1-cells 
 
 
 
 f
 ,
 g
 
 
 {\displaystyle f,g}
 
 in the same hom-set, a set 
 
 
 
 2Mor
 ⁡
 (
 f
 ,
 g
 )
 
 
 {\displaystyle \operatorname {2Mor} (f,g)}
 
 called the set of 2-cells from 
 
 
 
 f
 
 
 {\displaystyle f}
 
 to 
 
 
 
 g
 
 
 {\displaystyle g}
 
,</li>
<li>ordinary compositions: maps 
 
 
 
 ∘
 :
 Hom
 ⁡
 (
 b
 ,
 c
 )
 ×
 Hom
 ⁡
 (
 a
 ,
 b
 )
 →
 Hom
 ⁡
 (
 a
 ,
 c
 )
 
 
 {\displaystyle \circ :\operatorname {Hom} (b,c)\times \operatorname {Hom} (a,b)\to \operatorname {Hom} (a,c)}
 
,</li>
<li>vertical compositions: maps 
 
 
 
 ∘
 :
 2Mor
 ⁡
 (
 g
 ,
 h
 )
 ×
 2Mor
 ⁡
 (
 f
 ,
 g
 )
 →
 2Mor
 ⁡
 (
 f
 ,
 h
 )
 
 
 {\displaystyle \circ :\operatorname {2Mor} (g,h)\times \operatorname {2Mor} (f,g)\to \operatorname {2Mor} (f,h)}
 
, where 
 
 
 
 f
 ,
 g
 ,
 h
 
 
 {\displaystyle f,g,h}
 
 are in the same hom-set,</li>
<li>horizontal compositions: maps 
 
 
 
 ∗
 :
 2Mor
 ⁡
 (
 u
 ,
 v
 )
 ×
 2Mor
 ⁡
 (
 f
 ,
 g
 )
 →
 2Mor
 ⁡
 (
 u
 ∘
 f
 ,
 v
 ∘
 g
 )
 
 
 {\displaystyle *:\operatorname {2Mor} (u,v)\times \operatorname {2Mor} (f,g)\to \operatorname {2Mor} (u\circ f,v\circ g)}
 
 for 
 
 
 
 f
 ,
 g
 :
 a
 →
 b
 
 
 {\displaystyle f,g:a\to b}
 
 and 
 
 
 
 u
 ,
 v
 :
 b
 →
 c
 
 
 {\displaystyle u,v:b\to c}
 
</li></ul>
that are subject to the following conditions

<ul><li>the 0-cells, the 1-cells and the ordinary compositions form a category,</li>
<li>for each 
 
 
 
 a
 ,
 b
 
 
 {\displaystyle a,b}
 
, 
 
 
 
 Hom
 ⁡
 (
 a
 ,
 b
 )
 
 
 {\displaystyle \operatorname {Hom} (a,b)}
 
 together with the vertical compositions is a category,</li>
<li>the 2-cells together with the horizontal compositions form a category; namely, an object is a 0-cell and the hom-set from 
 
 
 
 a
 
 
 {\displaystyle a}
 
 to 
 
 
 
 b
 
 
 {\displaystyle b}
 
 is the set of all 2-cells of the form 
 
 
 
 α
 :
 f
 ⇒
 g
 
 
 {\displaystyle \alpha :f\Rightarrow g}
 
 with some 
 
 
 
 f
 ,
 g
 :
 a
 →
 b
 
 
 {\displaystyle f,g:a\to b}
 
,</li>
<li>the <a href="/facts/Interchange_law/CWeb28DM">interchange law</a>: 
 
 
 
 (
 δ
 ∗
 β
 )
 ∘
 (
 γ
 ∗
 α
 )
 
 
 {\displaystyle (\delta *\beta )\circ (\gamma *\alpha )}
 
, when defined, is the same as 
 
 
 
 (
 δ
 ∘
 γ
 )
 ∗
 (
 β
 ∘
 α
 )
 
 
 {\displaystyle (\delta \circ \gamma )*(\beta \circ \alpha )}
 
.</li></ul>
The 0-cells, 1-cells, and 2-cells terminology is replaced by 0-morphisms, 1-morphisms, and 2-morphisms in some sources<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a> (see also <a href="/facts/Higher_category_theory/7Pp6a0VN">Higher category theory</a>). Vertical compositions and horizontal compositions are also written as 
 
 
 
 
 ∘
 
 1
 
 
 ,
 
 ∘
 
 0
 
 
 
 
 {\displaystyle \circ _{1},\circ _{0}}
 
.
The interchange law can be drawn as a pasting diagram as follows:

<table><tbody><tr><td></td><td rowspan="3"> = </td><td rowspan="3"></td><td rowspan="3"> = </td><td rowspan="3"></td><td rowspan="3"> ∘ 0 {\displaystyle \circ _{0}} </td><td rowspan="3"></td></tr><tr><td> ∘ 1 {\displaystyle \circ _{1}} </td></tr><tr><td></td></tr></tbody></table>
Here the left-hand diagram denotes the vertical composition of horizontal composites, the right-hand diagram denotes the horizontal composition of vertical composites, and the diagram in the centre is the customary representation of both. The 2-cell are drawn with double arrows ⇒, the 1-cell with single arrows →, and the 0-cell with points.
Since the definition, as can be seen, is not short, in practice, it is more common to use some generalization of category theory such as higher category theory (see below) or enriched category theory to define a strict 2-category. The notion of strict 2-category differs from the more general notion of a weak 2-category defined below in that composition of 1-cells (horizontal composition) is required to be strictly associative, whereas in the weak version, it needs only be associative up to a <a href="/facts/Coherent_isomorphism/ezWC0V7p">coherent 2-isomorphism</a>.

<h3>As a category enriched over Cat</h3>
Given a <a href="/facts/Monoidal_category/F2l5oKMD">monoidal category</a> V, a category C <a href="/facts/Enriched_category/VgphwkBu">enriched</a> over V is an abstract version of a category; namely, it consists of the data

<ul><li>a class of objects,</li>
<li>for each pair of objects 
 
 
 
 a
 ,
 b
 
 
 {\displaystyle a,b}
 
, a hom-object 
 
 
 
 Hom
 ⁡
 (
 a
 ,
 b
 )
 
 
 {\displaystyle \operatorname {Hom} (a,b)}
 
 in 
 
 
 
 V
 
 
 {\displaystyle V}
 
,</li>
<li>compositions: morphisms 
 
 
 
 Hom
 ⁡
 (
 b
 ,
 c
 )
 ⊗
 Hom
 ⁡
 (
 a
 ,
 b
 )
 →
 Hom
 ⁡
 (
 a
 ,
 c
 )
 
 
 {\displaystyle \operatorname {Hom} (b,c)\otimes \operatorname {Hom} (a,b)\to \operatorname {Hom} (a,c)}
 
 in 
 
 
 
 V
 
 
 {\displaystyle V}
 
,</li>
<li>identities: morphisms 
 
 
 
 1
 →
 Hom
 ⁡
 (
 a
 ,
 a
 )
 
 
 {\displaystyle 1\to \operatorname {Hom} (a,a)}
 
 in 
 
 
 
 V
 
 
 {\displaystyle V}
 
</li></ul>
that are subject to the associativity and the unit axioms. In particular, if 
 
 
 
 V
 =
 
 
 Set
 
 
 
 
 {\displaystyle V={\textbf {Set}}}
 
 is the category of sets with 
 
 
 
 ⊗
 
 
 {\displaystyle \otimes }
 
 cartesian product, then a category enriched over it is an ordinary category.
If 
 
 
 
 V
 =
 
 
 Cat
 
 
 
 
 {\displaystyle V={\textbf {Cat}}}
 
, the category of small categories with 
 
 
 
 ⊗
 
 
 {\displaystyle \otimes }
 
 <a href="/facts/Product_category/qxo71BwR">product of categories</a>, then a category enriched over it is exactly a strict 2-category. Indeed, 
 
 
 
 Hom
 ⁡
 (
 a
 ,
 b
 )
 
 
 {\displaystyle \operatorname {Hom} (a,b)}
 
 has a structure of a category; so it gives the 2-cells and vertical compositions. Also, each composition is a functor; in particular, it sends 2-cells to 2-cells and that gives the horizontal compositions. The interchange law is a consequence of the functoriality of the compositions.
A similar process for 3-categories leads to <a href="/facts/Tricategory/MVgl07mH">tricategories</a>, and more generally to <a href="/facts/Weak_n-category/LFTbJEaj">weak n-categories</a> for <a href="/facts/N-category/7Pp6a0VN">n-categories</a>, although such an inductive approach is not necessarily common today.

<h3>A weak 2-category</h3>
A weak 2-category or a bicategory can be defined exactly the same way a strict 2-category is defined except that the horizontal composition is required to be associative up to a <a href="/facts/Coherent_isomorphism/ezWC0V7p">coherent isomorphism</a>. The coherent condition here is similar to those needed for <a href="/facts/Monoidal_category/F2l5oKMD">monoidal categories</a>; thus, for example, a monoidal category is the same as a weak 2-category with one 0-cell.
In higher category theory, if C is an <a href="/facts/%25E2%2588%259E-category/YgCfQmMD">∞-category</a> (a <a href="/facts/Weak_Kan_complex/YgCfQmMD">weak Kan complex</a>) whose structure is determined only by 0-simplexes, 1-simplexes and 2-simplexes, then it is a weak (2, 1)-category; i.e., a weak 2-category in which every 2-morphism is invertible. So, a weak 2-category is an <a href="/facts/(%25E2%2588%259E%2c_n)-category/89Hf7rq7">(∞, 2)-category</a> whose structure is determined only by 0, 1, 2-simplexes.

<h2 id="examples">Examples</h2>
<h3>Category of small categories</h3>
The archetypal 2-category is the <a href="/facts/Category_of_small_categories/BJt1bdM7">category of small categories</a>, with natural transformations serving as 2-morphisms.<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a> The objects (0-cells) are all small categories, and for objects a and b the hom-set 
 
 
 
 Hom
 ⁡
 (
 a
 ,
 b
 )
 
 
 {\displaystyle \operatorname {Hom} (a,b)}
 
 acquires a structure of a category as a <a href="/facts/Functor_category/r7sWdb2h">functor category</a>. A vertical composition is<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a> the composition of natural transformations.
Similarly, given a monoidal category V, the category of (small) categories enriched over V is a 2-category. Also, if 
 
 
 
 A
 
 
 {\displaystyle A}
 
 is a category, then the <a href="/facts/Comma_category/wTa3tURp">comma category</a> 
 
 
 
 
 C
 a
 t
 
 ↓
 A
 
 
 {\displaystyle \mathbf {Cat} \downarrow A}
 
 is a 2-category with natural transformations that map to the identity.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a>

<h3>Grpd</h3>
Like Cat, <a href="/facts/Groupoid/hvj8wvWe">groupoids</a> (categories where morphisms are invertible) form a 2-category, where a 2-morphism is a natural transformation. Often, one also considers Grpd where all 2-morphisms are invertible transformations. In the latter case, it is a (2, 1)-category.

<h3>Ord</h3>
The category <a href="/facts/Category_of_preordered_sets/SdHegI8Y">Ord</a> of <a href="/facts/Preordered_set/uubzHSWm">preordered sets</a> is a 2-category since each hom-set has a natural preordered structure; thus a category structure by 
 
 
 
 f
 ≤
 g
 ⇔
 f
 (
 x
 )
 ≤
 g
 (
 x
 )
 
 
 {\displaystyle f\leq g\Leftrightarrow f(x)\leq g(x)}
 
 for each element x.
More generally, the category of ordered objects in some category is a 2-category.<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a>

<h3>Boolean monoidal category</h3>
Consider a simple <a href="/facts/Monoidal_category/F2l5oKMD">monoidal category</a>, such as the monoidal preorder Bool<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a> based on the <a href="/facts/Monoid/6AHve7p8">monoid</a> M = ({T, F}, <a href="/facts/Logical_conjunction/62uyyn1d">∧</a>, T). As a category this is presented with two objects {T, F} and single morphism g: F → T.
We can reinterpret this monoid as a bicategory with a single object x (one 0-cell); this construction is analogous to construction of a small category from a monoid. The objects {T, F} become morphisms, and the morphism g becomes a natural transformation (forming a <a href="/facts/Functor_category/r7sWdb2h">functor category</a> for the single hom-category B(x, x)).

<h3>Coherence theorem</h3>
<ul><li>Every bicategory is "biequivalent"<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a> to a 2-category.<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a><a class="footnote-ref" id="fnref:12" href="#fn:12">12</a><a class="footnote-ref" id="fnref:13" href="#fn:13">13</a> This is an instance of <a href="/facts/Strictification/mX9AX4f0">strictification</a> (a process of replacing coherent isomorphisms with equalities.)</li></ul>
<h2 id="duskin-nerve">Duskin nerve</h2>
The Duskin nerve 
 
 
 
 
 N
 
 h
 c
 
 
 (
 C
 )
 
 
 {\displaystyle N^{hc}(C)}
 
 of a 2-category C is a simplicial set where each n-simplex is determined by the following data: n objects 
 
 
 
 
 x
 
 1
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 
 
 {\displaystyle x_{1},\dots ,x_{n}}
 
, morphisms 
 
 
 
 
 f
 
 i
 j
 
 
 :
 
 x
 
 i
 
 
 →
 
 x
 
 j
 
 
 ,
 
 i
 <
 j
 
 
 {\displaystyle f_{ij}:x_{i}\to x_{j},\,i<j}
 
 and 2-morphisms 
 
 
 
 
 μ
 
 i
 j
 k
 
 
 :
 
 f
 
 j
 k
 
 
 ∘
 
 f
 
 i
 j
 
 
 →
 
 f
 
 i
 k
 
 
 ,
 
 i
 <
 j
 <
 k
 
 
 {\displaystyle \mu _{ijk}:f_{jk}\circ f_{ij}\rightarrow f_{ik},\,i<j<k}
 
 that are subject to the (obvious) compatibility conditions.<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a> Then the following are equivalent: <a class="footnote-ref" id="fnref:15" href="#fn:15">15</a>

<ul><li>
 
 
 
 C
 
 
 {\displaystyle C}
 
 is a (2, 1)-category; i.e., each 2-morphism is invertible.</li>
<li>
 
 
 
 
 N
 
 h
 c
 
 
 (
 C
 )
 
 
 {\displaystyle N^{hc}(C)}
 
 is a weak Kan complex.</li></ul>
The Duskin nerve is an instance of the <a href="/facts/Homotopy_coherent_nerve/VceKkFGP">homotopy coherent nerve</a>.

<h2 id="functors-and-natural-transformations">Functors and natural transformations</h2>
By definition, a functor is simply a structure-preserving map; i.e., objects map to objects, morphisms to morphisms, etc. So, a 2-functor between 2-categories can be defined exactly the same way.<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a><a class="footnote-ref" id="fnref:17" href="#fn:17">17</a> In practice though, this notion of a 2-functor is not used much. It is far more common to use their lax analogs (just as a weak 2-category is used more).
Let C,D be bicategories. We denote composition in "diagrammatic order".<a class="footnote-ref" id="fnref:18" href="#fn:18">18</a> A lax functor P from C to D, denoted 
 
 
 
 P
 :
 C
 →
 D
 
 
 {\displaystyle P:C\to D}
 
, consists of the following data:

<ul><li>for each object x in C, an object 
 
 
 
 
 P
 
 x
 
 
 ∈
 D
 
 
 {\displaystyle P_{x}\in D}
 
;</li>
<li>for each pair of objects x,y ∈ C a functor on morphism-categories, 
 
 
 
 
 P
 
 x
 ,
 y
 
 
 :
 C
 (
 x
 ,
 y
 )
 →
 D
 (
 
 P
 
 x
 
 
 ,
 
 P
 
 y
 
 
 )
 
 
 {\displaystyle P_{x,y}:C(x,y)\to D(P_{x},P_{y})}
 
;</li>
<li>for each object x∈C, a 2-morphism 
 
 
 
 
 P
 
 
 
 id
 
 
 x
 
 
 
 
 :
 
 
 id
 
 
 
 P
 
 x
 
 
 
 
 →
 
 P
 
 x
 ,
 x
 
 
 (
 
 
 id
 
 
 x
 
 
 )
 
 
 {\displaystyle P_{{\text{id}}_{x}}:{\text{id}}_{P_{x}}\to P_{x,x}({\text{id}}_{x})}
 
 in D;</li>
<li>for each triple of objects, x,y,z ∈C, a 2-morphism 
 
 
 
 
 P
 
 x
 ,
 y
 ,
 z
 
 
 (
 f
 ,
 g
 )
 :
 
 P
 
 x
 ,
 y
 
 
 (
 f
 )
 ;
 
 P
 
 y
 ,
 z
 
 
 (
 g
 )
 →
 
 P
 
 x
 ,
 z
 
 
 (
 f
 ;
 g
 )
 
 
 {\displaystyle P_{x,y,z}(f,g):P_{x,y}(f);P_{y,z}(g)\to P_{x,z}(f;g)}
 
 in D that is natural in f: x→y and g: y→z.</li></ul>
These must satisfy three commutative diagrams, which record the interaction between left unity, right unity, and associativity between C and D.<a class="footnote-ref" id="fnref:19" href="#fn:19">19</a>
A lax functor in which all of the structure 2-morphisms, i.e. the 
 
 
 
 
 P
 
 
 
 id
 
 
 x
 
 
 
 
 
 
 {\displaystyle P_{{\text{id}}_{x}}}
 
 and 
 
 
 
 
 P
 
 x
 ,
 y
 ,
 z
 
 
 
 
 {\displaystyle P_{x,y,z}}
 
 above, are invertible is called a <a href="/facts/Pseudofunctor/15bRbrVn">pseudofunctor</a>.
There is also a lax version of a natural transformation. Let C and D be 2-categories, and let 
 
 
 
 F
 ,
 G
 :
 C
 →
 D
 
 
 {\displaystyle F,G\colon C\to D}
 
 be 2-functors. A lax natural transformation 
 
 
 
 α
 :
 F
 →
 G
 
 
 {\displaystyle \alpha \colon F\to G}
 
 between them consists of

<ul><li>a morphism 
 
 
 
 
 α
 
 c
 
 
 :
 F
 (
 c
 )
 →
 G
 (
 c
 )
 
 
 {\displaystyle \alpha _{c}\colon F(c)\to G(c)}
 
 in D for every object 
 
 
 
 c
 ∈
 C
 
 
 {\displaystyle c\in C}
 
 and</li>
<li>a 2-morphism 
 
 
 
 
 α
 
 f
 
 
 :
 G
 (
 f
 )
 ∘
 
 α
 
 c
 
 
 →
 
 α
 
 
 c
 ′
 
 
 
 ∘
 F
 (
 f
 )
 
 
 {\displaystyle \alpha _{f}\colon G(f)\circ \alpha _{c}\to \alpha _{c'}\circ F(f)}
 
 for every morphism 
 
 
 
 f
 :
 c
 →
 
 c
 ′
 
 
 
 {\displaystyle f\colon c\to c'}
 
 in C</li></ul>
satisfying some equations (see <a class="footnote-ref" id="fnref:20" href="#fn:20">20</a> or <a class="footnote-ref" id="fnref:21" href="#fn:21">21</a>)

<h2 id="related-notion-double-category">Related notion: double category</h2>
While a strict 2-category is a category enriched over Cat, a category <a href="/facts/Internal_category/Bttn1sI5">internal</a> to Cat is called a double category.

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/N-category/7Pp6a0VN">n-category</a></li>
<li><a href="/facts/Doctrine_(mathematics)/YeMVfoAc">Doctrine (mathematics)</a></li>
<li><a href="/facts/Pseudofunctor/15bRbrVn">Pseudofunctor</a></li>
<li><a href="/facts/String_diagram/RoTwkQ6w">String diagram</a></li>
<li>2-Yoneda lemma</li></ul>
<h2 id="footnotes">Footnotes</h2>

<ul><li><a href="/facts/Jean_B%25C3%25A9nabou/mQlt5gFm">Bénabou, Jean</a> (1967). <a href="https://link.springer.com/chapter/10.1007/BFb0074299">"Introduction to bicategories"</a>. Reports of the Midwest Category Seminar. Lecture Notes in Mathematics. Vol. 47. pp. 1–77. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBFb0074299">10.1007/BFb0074299</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-03918-1.</li>
<li>Centazzo, Claudia (2004). <a href="https://books.google.com/books?id=WKTk1n6ggKsC">Generalised Algebraic Models</a>. Presses univ. de Louvain. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-2-930344-78-2.</li>
<li><a href="/facts/Charles_Ehresmann/KNtePSlk">Ehresmann, Charles</a> (1965). <a href="https://books.google.com/books?id=Q2WnAAAAIAAJ">Catégories et structures</a>. Dunod, Paris. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0213410">0213410</a>. <a href="/facts/OCLC_(identifier)/Yqad8waq">OCLC</a> <a href="https://search.worldcat.org/oclc/1199888">1199888</a>.</li>
<li>Fong, Brendan; Spivak, David I. (2018-10-12). "Seven Sketches in Compositionality: An Invitation to Applied Category Theory". <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1803.05316">1803.05316</a> [<a href="https://arxiv.org/archive/math.CT">math.CT</a>].</li>
<li>Gray, John W. (1974). <a href="https://link.springer.com/book/10.1007/BFb0061280">Formal Category Theory: Adjointness for 2-Categories</a>. Lecture Notes in Mathematics. Vol. 391. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBFb0061280">10.1007/BFb0061280</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-06830-3.</li>
<li>Khan, Adeel A. (2023). "Lectures on algebraic stacks". <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/2310.12456">2310.12456</a> [<a href="https://arxiv.org/archive/math.AG">math.AG</a>].</li>
<li><a href="/facts/Max_Kelly/PEUBaKX4">Kelly, G. M.</a>; <a href="/facts/Ross_Street/1wXoGIte">Street, Ross</a> (1974). "Review of the elements of 2-categories". In Kelly, Gregory M. (ed.). Category Seminar: Proceedings of the Sydney Category Theory Seminar, 1972/1973. Lecture Notes in Mathematics. Vol. 420. Springer. pp. 75–103. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBFb0063101">10.1007/BFb0063101</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-06966-9. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0357542">0357542</a>.</li>
<li><a href="/facts/Max_Kelly/PEUBaKX4">Kelly, Gregory Maxwell</a> (1982), <a href="http://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdf">Basic concepts of enriched category theory</a> (PDF), London Mathematical Society Lecture Note Series, vol. 64, Cambridge University Press, Cambridge-New York, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-521-28702-2, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0651714">0651714</a></li>
<li><a href="/facts/G%25C3%25A9rard_Laumon/Bta5Aa5B">Laumon, Gérard</a>; Moret-Bailly, Laurent (2000). Champs algébriques. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics. Vol. 39. Berlin, New York: <a href="/facts/Springer-Verlag/nAesf6nT">Springer-Verlag</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F978-3-540-24899-6">10.1007/978-3-540-24899-6</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-65761-3. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1771927">1771927</a>.</li>
<li><a href="/facts/Tom_Leinster/vdud44RC">Leinster, Tom</a> (1998). "Basic Bicategories". <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/9810017">math/9810017</a>.</li>
<li>Warner, Garth (13 December 2012). <a href="http://hdl.handle.net/1773/20977">Fibrations and Sheaves</a>. EPrint Collection, University of Washington. <a href="/facts/Hdl_(identifier)/rdebSxmC">hdl</a>:<a href="https://hdl.handle.net/1773%2F20977">1773/20977</a>.</li>
<li>Gurski, Nick (2013). "Coherence for bicategories". Coherence in Three-Dimensional Category Theory. pp. 21–34. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1017%2FCBO9781139542333.003">10.1017/CBO9781139542333.003</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-139-54233-3.</li>
<li>Johnson, Niles; Yau, Donald (2021). 2-Dimensional Categories. Oxford University Press. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/2002.06055">2002.06055</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1093%2Foso%2F9780198871378.001.0001">10.1093/oso/9780198871378.001.0001</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-19-887137-8.</li></ul>

<h2 id="further-reading">Further reading</h2>
<ul><li>Lack, Stephen (2010). <a href="https://link.springer.com/chapter/10.1007/978-1-4419-1524-5_4">"A 2-Categories Companion"</a>. Towards Higher Categories. The IMA Volumes in Mathematics and its Applications. Vol. 152. pp. 105–191. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0702535">math/0702535</a>. <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/2007math......2535L">2007math......2535L</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F978-1-4419-1524-5_4">10.1007/978-1-4419-1524-5_4</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4419-1523-8.</li>
<li><a href="https://kerodon.net/tag/007K">"2.2 The Theory of 2-Categories"</a>. Kerodon.</li>
<li>MacLane, Saunders; Paré, Robert (1985). "Coherence for bicategories and indexed categories". Journal of Pure and Applied Algebra. 37: 59–80. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0022-4049%2885%2990087-8">10.1016/0022-4049(85)90087-8</a>.</li></ul>
<h2 id="external-links">External links</h2>
<ul><li> Media related to Strict 2-category at Wikimedia Commons</li>
<li><a href="https://ncatlab.org/nlab/show/2-category">"2-category in nLab"</a>. ncatlab.org.</li>
<li><a href="https://ncatlab.org/nlab/show/2-functor">"2-functor in nLab"</a>. ncatlab.org.</li>
<li><a href="https://ncatlab.org/nlab/show/bicategory">"Bicategory in nLab"</a>. ncatlab.org.</li>
<li><a href="https://ncatlab.org/nlab/show/composition">"Composition in nLab"</a>. ncatlab.org.</li>
<li><a href="https://ncatlab.org/nlab/show/lax+natural+transformation">"Lax natural transformation in nLab"</a>. ncatlab.org.</li>
<li><a href="https://ncatlab.org/nlab/show/pseudofunctor">"Pseudofunctor in nLab"</a>. ncatlab.org.</li>
<li><a href="https://ncatlab.org/nlab/show/vertical+composition">"Vertical composition in nLab"</a>. ncatlab.org.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Ehresmann 1965 - Ehresmann, Charles (1965). Catégories et structures. Dunod, Paris. MR 0213410. OCLC 1199888. <a href="https://books.google.com/books?id=Q2WnAAAAIAAJ" target="_blank">https://books.google.com/books?id=Q2WnAAAAIAAJ</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Bénabou 1967 - Bénabou, Jean (1967). "Introduction to bicategories". Reports of the Midwest Category Seminar. Lecture Notes in Mathematics. Vol. 47. pp. 1–77. doi:10.1007/BFb0074299. ISBN 978-3-540-03918-1. <a href="https://link.springer.com/chapter/10.1007/BFb0074299" target="_blank">https://link.springer.com/chapter/10.1007/BFb0074299</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Kelly & Street 1974, § 1.2. - Kelly, G. M.; Street, Ross (1974). "Review of the elements of 2-categories". In Kelly, Gregory M. (ed.). Category Seminar: Proceedings of the Sydney Category Theory Seminar, 1972/1973. Lecture Notes in Mathematics. Vol. 420. Springer. pp. 75–103. doi:10.1007/BFb0063101. ISBN 978-3-540-06966-9. MR 0357542. <a href="https://doi.org/10.1007%2FBFb0063101" target="_blank">https://doi.org/10.1007%2FBFb0063101</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">2-category in nLab - "2-category in nLab". ncatlab.org. <a href="https://ncatlab.org/nlab/show/2-category" target="_blank">https://ncatlab.org/nlab/show/2-category</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Kelly & Street 1974, § 1.3. - Kelly, G. M.; Street, Ross (1974). "Review of the elements of 2-categories". In Kelly, Gregory M. (ed.). Category Seminar: Proceedings of the Sydney Category Theory Seminar, 1972/1973. Lecture Notes in Mathematics. Vol. 420. Springer. pp. 75–103. doi:10.1007/BFb0063101. ISBN 978-3-540-06966-9. MR 0357542. <a href="https://doi.org/10.1007%2FBFb0063101" target="_blank">https://doi.org/10.1007%2FBFb0063101</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Vertical composition in nLab - "Vertical composition in nLab". ncatlab.org. <a href="https://ncatlab.org/nlab/show/vertical+composition" target="_blank">https://ncatlab.org/nlab/show/vertical+composition</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Kelly & Street 1974, § 1.3. - Kelly, G. M.; Street, Ross (1974). "Review of the elements of 2-categories". In Kelly, Gregory M. (ed.). Category Seminar: Proceedings of the Sydney Category Theory Seminar, 1972/1973. Lecture Notes in Mathematics. Vol. 420. Springer. pp. 75–103. doi:10.1007/BFb0063101. ISBN 978-3-540-06966-9. MR 0357542. <a href="https://doi.org/10.1007%2FBFb0063101" target="_blank">https://doi.org/10.1007%2FBFb0063101</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Kelly & Street 1974, § 1.3. - Kelly, G. M.; Street, Ross (1974). "Review of the elements of 2-categories". In Kelly, Gregory M. (ed.). Category Seminar: Proceedings of the Sydney Category Theory Seminar, 1972/1973. Lecture Notes in Mathematics. Vol. 420. Springer. pp. 75–103. doi:10.1007/BFb0063101. ISBN 978-3-540-06966-9. MR 0357542. <a href="https://doi.org/10.1007%2FBFb0063101" target="_blank">https://doi.org/10.1007%2FBFb0063101</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Fong & Spivak 2018 - Fong, Brendan; Spivak, David I. (2018-10-12). "Seven Sketches in Compositionality: An Invitation to Applied Category Theory". arXiv:1803.05316 [math.CT]. <a href="https://arxiv.org/abs/1803.05316" target="_blank">https://arxiv.org/abs/1803.05316</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Leinster 1998, 2.2 Biequivalence - Leinster, Tom (1998). "Basic Bicategories". arXiv:math/9810017. <a href="https://arxiv.org/abs/math/9810017" target="_blank">https://arxiv.org/abs/math/9810017</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Leinster 1998, 2.3 The Coherence Theorem - Leinster, Tom (1998). "Basic Bicategories". arXiv:math/9810017. <a href="https://arxiv.org/abs/math/9810017" target="_blank">https://arxiv.org/abs/math/9810017</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Gurski 2013, 2.2 Coherence for bicategories - Gurski, Nick (2013). "Coherence for bicategories". Coherence in Three-Dimensional Category Theory. pp. 21–34. doi:10.1017/CBO9781139542333.003. ISBN 978-1-139-54233-3. <a href="https://doi.org/10.1017%2FCBO9781139542333.003" target="_blank">https://doi.org/10.1017%2FCBO9781139542333.003</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">Johnson & Yau 2021, Theorem 8.4.1 - Johnson, Niles; Yau, Donald (2021). 2-Dimensional Categories. Oxford University Press. arXiv:2002.06055. doi:10.1093/oso/9780198871378.001.0001. ISBN 978-0-19-887137-8. <a href="https://arxiv.org/abs/2002.06055" target="_blank">https://arxiv.org/abs/2002.06055</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Khan 2023, Construction 1.5.1. - Khan, Adeel A. (2023). "Lectures on algebraic stacks". arXiv:2310.12456 [math.AG]. <a href="https://arxiv.org/abs/2310.12456" target="_blank">https://arxiv.org/abs/2310.12456</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">Khan 2023, Theorem 1.5.2. - Khan, Adeel A. (2023). "Lectures on algebraic stacks". arXiv:2310.12456 [math.AG]. <a href="https://arxiv.org/abs/2310.12456" target="_blank">https://arxiv.org/abs/2310.12456</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">Kelly & Street 1974, § 1.4. - Kelly, G. M.; Street, Ross (1974). "Review of the elements of 2-categories". In Kelly, Gregory M. (ed.). Category Seminar: Proceedings of the Sydney Category Theory Seminar, 1972/1973. Lecture Notes in Mathematics. Vol. 420. Springer. pp. 75–103. doi:10.1007/BFb0063101. ISBN 978-3-540-06966-9. MR 0357542. <a href="https://doi.org/10.1007%2FBFb0063101" target="_blank">https://doi.org/10.1007%2FBFb0063101</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">2-functor in nLab - "2-functor in nLab". ncatlab.org. <a href="https://ncatlab.org/nlab/show/2-functor" target="_blank">https://ncatlab.org/nlab/show/2-functor</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
<li id="fn:18">Composition in nLab - "Composition in nLab". ncatlab.org. <a href="https://ncatlab.org/nlab/show/composition" target="_blank">https://ncatlab.org/nlab/show/composition</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></li>
<li id="fn:19">Pseudofunctor in nLab - "Pseudofunctor in nLab". ncatlab.org. <a href="https://ncatlab.org/nlab/show/pseudofunctor" target="_blank">https://ncatlab.org/nlab/show/pseudofunctor</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></li>
<li id="fn:20">Lax natural transformation in nLab - "Lax natural transformation in nLab". ncatlab.org. <a href="https://ncatlab.org/nlab/show/lax+natural+transformation" target="_blank">https://ncatlab.org/nlab/show/lax+natural+transformation</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></li>
<li id="fn:21">Gray 1974 - Gray, John W. (1974). Formal Category Theory: Adjointness for 2-Categories. Lecture Notes in Mathematics. Vol. 391. doi:10.1007/BFb0061280. ISBN 978-3-540-06830-3. <a href="https://link.springer.com/book/10.1007/BFb0061280" target="_blank">https://link.springer.com/book/10.1007/BFb0061280</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></li>
</ol>

2-category open-in-new

2-category