Introdiction to Categories

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au
and

Department of Mathematics
University of Wisconsin, Madison
Madison, WI 53706 USA
ram@math.wisc.edu

Last updates: 20 November 2009

Working seminar, University of Melbourne, 12 November 2009.

Categories

A category $𝒞$ is a collection of objects and morphisms, with composition maps $$\begin{array}{rcl}{\mathrm{Hom}}_{𝒞}\left(X,Y\right)\times {\mathrm{Hom}}_{𝒞}\left(Y,Z\right)& ⟶& {\mathrm{Hom}}_{𝒞}\left(X,Z\right)\\ \left(f,g\right)& ⟼& g\circ f\end{array}$$ for which associativity holds and identities exist (if $X,Y$ and $Z$ are objects of $𝒞$ then there exists an identity morphism ${\mathrm{id}}_X:X\to X$ such that ${\mathrm{id}}_X\circ f=f$ for all $f:Y\to X$ and $g\circ {\mathrm{id}}_X=g$ for all $g:X\to Z$).

Examples.

Objects	Morphisms
Sets	Functions
Groups	Group homomorphisms
Rings	Ring homomorphisms
Vector spaces	Linear transformations
$A$-modules	$A$-module homomorphisms
Abelian groups	$\mathbb{Z}$ -module homomorphisms
Topological spaces	Continuous functions
Manifolds	Smooth maps
Complex manifolds	Holomorphic maps
Algebras	Homomorphisms of algebras
Lie algebras	Lie algebra homomorphisms
Varieties	Morphisms of varieties
Affine varieties	Regular functions
Schemes	Morphisms of schemes
Affine schemes	Morphisms of schemes
Sheaves	Morphisms of sheaves
Vector bundles	Morphisms of vector bundles
Principal bundles	Morphisms of principal bundles
Categories	Functors
Functors	Natural transformations
Complexes	Chain maps
Homotopy category	Chain maps
Derived category	Morphisms

The category of categories

The category of categories has

categories as objects

and

functors as morphisms.

Let $𝒜$ and $ℬ$ be sets of objects. A functor is a map $ℱ$ which takes objects to objects and morphisms to morphisms $$\begin{array}{rcl}ℱ:𝒜& ⟶& ℬ\\ M& ⟼& ℱ\left(M\right)\end{array}\text{and}\begin{array}{rcl}ℱ:{\mathrm{Hom}}_{𝒜}\left(M,N\right)& ⟶& {\mathrm{Hom}}_{ℬ}\left(ℱ\left(M\right),ℱ\left(N\right)\right)\\ f& ⟼& ℱ\left(f\right)\end{array}$$ such that $$ℱ\left({\mathrm{id}}_M\right)={\mathrm{id}}_{ℱ\left(M\right)}\text{and}ℱ\left(f_1\circ f_2\right)=ℱ\left(f_1\right)\circ ℱ\left(f_2\right)\text{.}$$

Example. Let $A$ and $B$ be algebras with $A\subseteq B$ (e.g. $A=ℂS_3$ and $B=ℂS_4$). Let $𝒜$ be the category of $A$-modules and $ℬ$ be the category of $B$-modules.

Then induction is a functor $$\begin{array}{rcl}{\mathrm{Ind}}_A^B:𝒜& ⟶& ℬ\\ M& ⟼& B{\otimes }_{A}M\end{array}\text{and}\begin{array}{rcl}{\mathrm{Ind}}_A^B\left(f\right):B{\otimes }_{A}M& ⟶& B{\otimes }_{A}N\\ b\otimes m& ⟼& b\otimes f\left(m\right)\end{array}$$ if $f:M\to N$ is an $A$-module homomorphism.

The category of functors

Let $𝒜$ and $ℬ$ be categories. The category of functors from $𝒜$ to $ℬ$ has

functors $ℱ:𝒜\to ℬ$ as objects

and

natural transformations as morphisms.

A natural transformation $\varphi :ℱ\to 𝒢$ is a collection of morphisms $$\left\{{\varphi }_M:ℱ\left(M\right)\to 𝒢\left(M\right)|M\in 𝒜\right\}$$ such that if $f:M\to N$ then the following diagram commutes.

Example. An additive category is a category $𝒜$ such that $${\mathrm{Hom}}_{𝒜}\left(M,N\right)\text{is an abelian group}$$ and there is a $0$ object in $𝒜$ and direct sums $M\oplus N$ exist in $𝒜$.

A 2-category is a category $𝒜$ such that $${\mathrm{Hom}}_{𝒜}\left(M,N\right)\text{is a category}$$ and there is a $0$ object in $𝒜$ and direct sums $M\oplus N$ exist in $𝒜$.

The category of categories is an example of a 2-category.

Example of a category of functors

Let $X$ be a topological space with topology $𝒯$. $𝒯$ is a category with

open sets $U$ as objects

and

inclusions $U_1\hookrightarrow U_2$ as morphisms.

Let $𝒞$ be the category of commutative rings with identity.

A sheaf (of rings) on $X$ is a contravariant functor $$ℱ:𝒯\to 𝒞$$.

A morphism of sheaves is a morphism of functors $ℱ$ to $𝒢$.

The category of sheaves is the category of functors $𝒯\to 𝒞$.

The category of complexes

Let $𝒜$ be a category (e.g. $𝒜$ is the category of $A$-modules).

The category of complexes over $𝒜$ $\mathrm{Kom}\left(𝒜\right)$ has

complexes over $𝒜$ as objects

and

chain maps as morphisms.

A complex $M$ over $𝒜$ is a sequence of morphisms $$\cdots \to M^i\stackrel{d^i}{\to }{M}^{i+1}\stackrel{d^{i+1}}{\to }\cdots \text{with}{d}^{i+1}\circ d^i=0\text{.}$$ i.e. a $\mathbb{Z}$-graded $A$-module $M$ with a map $d:M\to M$ with $\mathrm{deg}d=1$ and $\mathrm{deg}{d}^2=0$.

A chain map $f:M\to N$ is a collection of morphisms $$\left\{f^i:M^i\to N^i|i\in \mathbb{Z}\right\}$$ such that

commutes.

Totalization

Elements of the category $\mathrm{Kom}\left(\mathrm{Kom}\left(𝒜\right)\right)$ look like

Let $𝒜$ be an abelian category (i.e. ${\mathrm{Hom}}_{𝒜}\left(X,Y\right)$ are abelian groups, there exists a $0$ object and direct sums $X\oplus Y$).

The totalization functor $\mathrm{tot}:\mathrm{Kom}\left(\mathrm{Kom}\left(𝒜\right)\right)\to \mathrm{Kom}\left(𝒜\right)$ is given by

Cohomology

An abelian category is a category $𝒜$ such that ${\mathrm{Hom}}_{𝒜}\left(M,N\right)$ are abelian groups, there exists a $0$ object and direct sums $M\oplus N$ and kernels and cokernels exist.

Let $𝒜$ be an abelian category and let $\mathrm{Kom}\left(𝒜\right)$ be the category of complexes over $𝒜$ $$M=\left(\cdots \to M^i\stackrel{d^i}{\to }{M}^{i+1}\to \cdots \right)\text{with}{d}_{i+1}\circ d_i=0\text{.}$$

The cohomology of a complex $\left(M,d\right)$ is $$H\left(M\right)=\frac{Z\left(M\right)}{B\left(M\right)}\text{,}\text{where}Z\left(M\right)=\ker d\text{and}B\left(M\right)=\mathrm{im}d$$ and $$\begin{array}{rcl}H\left(f\right):H\left(M\right)& ⟶& H\left(M\right)\\ \left[c\right]& ⟼& \left[f\left(c\right)\right]\end{array}\text{,}\text{if}f:M\to N\text{is a morphism in}\mathrm{Kom}\left(𝒜\right)\text{.}$$

The derived category $D\left(𝒜\right)$

Let $𝒜$ be an abelian category, let $\mathrm{Kom}\left(𝒜\right)$ be the category of complexes over $𝒜$ and let $H\left(M\right)$ be the cohomology of a complex $M$.

A quasiisomorphism is a morphism $f:M\to N$ in $\mathrm{Kom}\left(𝒜\right)$ such that $H\left(f,:,H,\left(M\right),\to ,H,\left(N\right)\right)$ is an isomorphism.

The derived category of $𝒜$ is the category $D\left(𝒜\right)$ with a functor $Q:\mathrm{Kom}\left(𝒜\right)\to D\left(𝒜\right)$ such that

1. if $f$ is a quasiisomorphism then $Q\left(f\right)$ is an isomorphism, and
2. if $F:\mathrm{Kom}\left(𝒜\right)\to 𝒞$ is a functor that takes quasiisomorphisms to isomorphisms then there exists a unique functor $\tilde{F}:D\left(𝒜\right)\to 𝒞$ such that

The homotopy category

Let $𝒜$ be an abelian category and $\mathrm{Kom}\left(𝒜\right)$ the category of complexes over $𝒜$. Let $M$ and $N$ be objects of $\mathrm{Kom}\left(𝒜\right)$. A homotopy between morphisms $f:M\to N$ and $g:M\to N$ is a collection of morphisms $$\left\{h^i:M^i\to N^{i+1}|i\in \mathbb{Z}\right\}\text{such that}{f}^i-g^i=h^{i+1}\circ d^i+d^{i-1}\circ h^i\text{.}$$

If $f$ and $g$ are homotopic then $H\left(f\right)=H\left(g\right)$.

The homotopy category $\mathrm{Ho}\left(𝒜\right)$ has

complexes over $𝒜$ as objects

and

chain maps modulo homotopy equivalence as morphisms.

References [PLACEHOLDER]

[BG] A. Braverman and D. Gaitsgory, Crystals via the affine Grassmanian, Duke Math. J. 107 no. 3, (2001), 561-575; arXiv:math/9909077v2, MR1828302 (2002e:20083)