利用者:Lambda sigma/編集:2-圏

圏論における2-圏とは、大雑把にいえばhom集合を対象とした射を持つ圏である。これは、形式的にはCat(小さな圏を対象、関手を射として持ち、圏の積をモノイド積として持つ圏)によって豊穣された圏として定義される。

定義

A 2-category C consists of:

A class of 0-cells (or objects) $A$ , $B$ , ....
For all objects $A$ and $B$ , a category $\mathbf {C} (A,B)$ . The objects $f,g:A\to B$ of this category are called 1-cells and its morphisms $\alpha :f\Rightarrow g$ are called 2-cells; the composition in this category is usually written $\circ$ or $\circ _{1}$ and called vertical composition or composition along a 1-cell.
For any object $A$ there is a functor from the terminal category (with one object and one arrow) to $\mathbf {C} (A,A)$ , that picks out the identity 1-cell $id A$ on $A$ and its identity 2-cell $id id A$ . In practice these two are often denoted simply by $A$ .
For all objects $A$ , $B$ and $C$ , there is a functor $\circ _{0}:\mathbf {C} (A,B)\times \mathbf {C} (B,C)\to \mathbf {C} (A,C)$ , called horizontal composition or composition along a 0-cell, which is associative and admits the identity 1 and 2-cells of $id A$ as identities. The composition symbol $\circ _{0}$ is often omitted, the horizontal composite of 2-cells $\alpha :f\Rightarrow g:A\to B$ and $\beta :f'\Rightarrow g':B\to C$ being written simply as $\beta \alpha :f'f\Rightarrow g'g:A\to C$ .

The notion of 2-category differs from the more general notion of a bicategory in that composition of 1-cells (horizontal composition) is required to be strictly associative, whereas in a bicategory it needs only be associative up to a 2-isomorphism. The axioms of a 2-category are consequences of their definition as Cat-enriched categories:

Vertical composition is associative and unital, the units being the identity 2-cells $id f$ .
Horizontal composition is also (strictly) associative and unital, the units being the identity 2-cells $id id A$ on the identity 1-cells $id A$ ..
The interchange law holds; i.e. it is true that for composable 2-cells $\alpha ,\beta ,\gamma ,\delta$

(\alpha \circ _{0}\beta )\circ _{1}(\gamma \circ _{0}\delta )=(\alpha \circ _{1}\gamma )\circ _{0}(\beta \circ _{1}\delta )

The interchange law follows from the fact that $\circ _{0}$ is a functor between hom categories. It can be drawn as a pasting diagram as follows:

	=	=	$\circ _{0}$
$\circ _{1}$

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.

「Doctrines」

In mathematics, a doctrine is simply a 2-category which is heuristically regarded as a system of theories. For example, algebraic theories, as invented by Lawvere, is an example of a doctrine, as are multi-sorted theories, operads, categories, and toposes.

The objects of the 2-category are called theories, the 1-morphisms $f\colon A\rightarrow B$ are called models of the $A$ in $B$ , and the 2-morphisms are called morphisms between models.

The distinction between a 2-category and a doctrine is really only heuristic: one does not typically consider a 2-category to be populated by theories as objects and models as morphisms. It is this vocabulary that makes the theory of doctrines worth while.

For example, the 2-category Cat of categories, functors, and natural transformations is a doctrine. One sees immediately that all presheaf categories are categories of models.

As another example, one may take the subcategory of Cat consisting only of categories with finite products as objects and product-preserving functors as 1-morphisms. This is the doctrine of multi-sorted algebraic theories. If one only wanted 1-sorted algebraic theories, one would restrict the objects to only those categories that are generated under products by a single object.

Doctrines were invented by J. M. Beck.

脚注

Generalised algebraic models, by Claudia Centazzo.
2-category in nLab

定義

「Doctrines」

関連記事

脚注