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 $𝒞$ [??? - Change fr's to scr's.] 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 transformationss
$A$-modules	$A$-module homomorphisms
Abelian groups	$\mathbb{Z}$-module momomorphisms
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 catogory	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 o fcategories is an example of a 2-category.

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)