Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
AND ADJUNCTIONS
CHRIS HENDERSON
Abstract. This paper will move through the basics of category theory, eventually defining natural transformations and adjunctions and showing the equivalence of two dissimilar definitions of adjoint functors, in order to state the
Adjoint Functor Theorem. This theorem provides a nice result allowing us
to classify exactly which functors have left adjoints. We borrow heavily from
Awodeys Category Theory but almost all proofs are independent solutions.
Almost no background in math is necessary for understanding.
Contents
1. The Basics
2. Isomorphisms and Natural Transformations
3. Adjoint Functors: Two Definitions and Their Equivalence
4. Limits
5. Preservation of Limits
6. Completeness and the Adjoint Functor Theorem
7. Acknowledgements
References
1
2
4
8
9
13
14
14
1. The Basics
Just as a group is made of a set paired with an operation and a topological
space is a set with a topology, a category is made up of objects, arrows, and a
rule of composition. One should note that the objects need not be a set, but I will
illustrate this point later. For a formal definition:
Definition 1.1. A category, C, consists of:
Objects: A, B, C, . . .
Arrows: f, g, h, . . . such that every arrow, f , has a domain and codomain
which are objects in C. We can represent this as:
f :AB
where A = dom(f ), B = cod(f ).
Composition: If f, g C and f : A B, g : B C, then g f : A C.
Identity: For any object, A C, there is an arrow:
1A : A A.
These must satisfy our usual concepts of:
Date: August 15, 2008.
1
CHRIS HENDERSON
Associativity:
h (g f ) = (h g) f
if cod(f ) = dom(g) and cod(g) = dom(h).
Unit:
f 1A = f = 1B f
if f : A B.
These concepts are not unfamiliar, so lets give two quick examples of categories
and move on.
Example 1.2. Set: The category of sets and functions.
Example 1.3. Top: The category of topological spaces and continuous maps.
Definition 1.4. HomC (A, B), where A, B are objects in a category C, is the set
of morphisms, or arrows, from A to B.
Definition 1.5. If C is a category, then its dual category, Cop , is the category
with the same objects as C but with arrows reversed. For instance, if f : A B is
in the category C, then f op : B A would be an arrow in Cop .
The next concept to cover is the idea of functors, which intuitively are like homomorphisms which we can use to map categories to categories, implying that they
act on both objects and arrows and preserve composition. For a formal definition:
Definition 1.6. A functor,
F :CD
where C and D are categories, is a mapping of objects to objects and arrows to
arrows with:
F (A) D for A C
F (f ) : F (A) F (B) with F (f ) D if f, A, B C and f : A B
F (g f ) = F (g) F (f )
F (1A ) = 1F (A)
f
g
/B
/A
A@
B@
@@
@@
@@
@@
g
f
1A @@
1B @@
A
B
This concept of an isomorphism appears identical to the normal definition of
a bijective homomorphism but does not in fact always coincide. For instance,
consider the category Top and take the set X = {1, 2, 3} and denote the discrete
and coarse topologies as D and C, respectively. Consider the function f : (X, D)
(X, C) where f (1) = 1, f (2) = 2, f (3) = 3. This is clearly continuous, so it is in
our category, and clearly bijective, in that it is one-to-one and onto, but its inverse,
g : (X, C) (X, D) sending g(1) = 1, g(2) = 2, g(3) = 3 is not continuous because
for example, {2} is an open set in (X, D) but g 1 ({2}) = {2} is not an open set in
(X, C). Thus, g is not in Top and so f does not have an inverse and is therefore
not an isomorphism.
C0
FC
/ GC
F (f )
F C0
G(f )
/ GC
C 0
Example 2.4. Let D : Set Top be the functor which applies the discrete
topology (all sets are open) and let C : Set Top be the functor which takes
a set and applies the coarse topology (only the entire set and the empty set are
open), then we see that the natural transformation : D C could be the family
of arrows mapping every x X Top to itself, giving us, for any f :
X
f
Y
DX
/ CX
X =1X
D(f )
DY
C(f )
Y =1Y
/ CY
CHRIS HENDERSON
HomD (F C, D)
(F h)
HomD (F C 0 , D)
/ HomC (C, U D)
h
C 0 ,D
/ HomC (C 0 , U D)
HomD (F C, D)
g
HomD (F C, D0 )
/ HomC (C, U D)
(U g)
C,D0
/ HomC (C, U D0 )
D
U F (C) o
wC
ww
w
ww
U (g)
ww f
w{ w
U (D)
C
Y
U F (X) o
vX
vv
v
vv
U (f )
vv f
v{ v
U (Y )
X
By definition of the identity and since U f (x) = f (x) for all x X, f is unique.
(Noting that since all subsets of F X = (X, D) are open, any function with F X as
the domain is continuous, so f : F X Y is continuous and thus f Top.)
Now for the hom-set definition: Take X Set and Y Top. Let X,Y :
HomTop (F X, Y ) HomSet (X, U Y ) be the function X,Y = U (g), where g :
F X Y (since U F (X) = X). We now need to show that the following diagram commutes, for any f : X 0 X in Set:
HomTop (F X, Y )
(X,Y )
(F f )
HomTop (F X 0 , Y )
/ HomSet (X, U Y )
f
X 0 ,Y
/ HomSet (X 0 , U Y )
(X,Y )
(U h)
HomTop (F X, Y 0 )
/ HomSet (X, U Y )
X,Y 0
/ HomSet (X, U Y 0 )
CHRIS HENDERSON
To check this:
(U h) (X,Y (g)) = U h U (g)
= U (h g)
= X,Y 0 (h (g))
Thus is natural in Y . Now we need only check that is in fact an isomorphism.
Let X,Y : HomSet (X, U Y ) HomTop (F X, Y ) take any function in Set and change
its domain to F X and its range to Y , without changing where it sends individual
elements of the set. We can do this because any function with F X as its domain
is continuous. Then it is easy to check that X,Y X,Y = 1HomTop (F X,Y ) and
X,Y X,Y = 1HomSet (X,U Y ) and thus, is an isomorphism.
Theorem 3.5. Definitions 3.2 and 3.3 are equivalent.
Proof. Definition 3.3 implies Definition 3.2:
Define C,D (g) = U (g) C (where g : F C D and C is as defined in Def. 3.3.
We can see immediately that C,D : HomD (F C, D) HomC (C, U D). That C,D
is an isomorphism follows from the uniqueness of g, given f : C U D, such that
f = U (g) C (i.e. because for any f : C U D there is a unique g : F C D such
that f = U (g) C , the function C,D (f ) = g is an inverse to C,D ). So we must
show naturality in C and D.
For naturality in C, take f : C 0 C and h : F C D:
f (C,D (g) = (U (h) C ) f
= U (h) U F (f ) C 0
(from the commutative diagram for natural transformations)
= U (h F (f )) C 0
= C 0 ,D ((F f ) (h))
Thus, is natural in C.
For naturality in D examine g : D D0
U (g) (C,D (h)) = U (g) (U (h) C )
= U (g h) C
= C,D0 (g h)
= C,D0 (g (h))
Thus is natural in D.
Now: Definition 3.2 implies Definition 3.3
Consider any f : C U D and note that 1
C,D (f ) : F C D. Let C : C U F C
be defined by C = C,F C (1F C ). To show that : 1C U F is a natural
C,F C
HomD (F C 0 , F C 0 )
C,F C 0
C 0 ,F C 0
/ HomC (F 0 , U F C 0 )
(F )
(U F )
(F )
HomD (F C, F C 0 )
/ HomC (C, U F C)
/ HomC (C, U F C 0 )
HomD (F C, F C 0 )
Naturality in D
C,F C 0
/ HomC (C, U F C 0 )
Naturality in C
C0
= U F () C
/ UFC
C0
U F ()
/
0
C 0 U F C
C,F C
(f ))
(U 1
C,D
(f ))
(1
C,D
HomD (F C, D)
/ HomC (C, U F C)
C,D
/ HomC (C, U D)
1
U 1
C,D (f ) C,F C = C,D (C,D (f ))
= C,D (1
C,D (f )
Plugging in 1F C :
1
U 1
C,D (f ) C,F C (1F C ) = C,D (C,D (f (1F C )))
= C,D (1
C,D (f ))
=f
CHRIS HENDERSON
FC
C w C
w
ww
w
U (g)
ww f
w
w{ w
U (D)
g=1
(f )
C,D
D
Now we need show that such a g is unique. Since is an isomorphism, the uniqueness of g requires only that we show C,D (g) = U (g) C .
U (g) C = U (g) C,F C (1F C )
= C,D (g 1F C )
= C,D (g)
(The second line comes from naturality in D.)
4. Limits
Definition 4.1. A terminal object in a category C is an object 1 C such that
for any C C, there is a unique morphism
C 1.
Proposition 4.2. Terminal objects are unique up to unique isomorphism.
Proof. Take two terminal objects, 1 and 10 , and find the unique maps
1
/ 10
/1
Since 1 is a terminal object then the only arrow from 1 to itself is its identity, 11 .
Since is a map from 1 to itself then it must be that 11 = . Similarly,
110 = . Thus, 1
= 10 . Since 1 and 10 are terminal objects, then and are
the unique maps for which this holds.
Definition 4.3. Let J and C be categories. A diagram of type J in C is a functor
D : J C. We write objects in the index category, J as i, j, . . . and values of
the functor D as Di , Dj , . . . .
Definition 4.4. A cone to a diagram D consists of an object C C and a family of
arrows ci : C Di in C such that for each : i j in J the following commutes:
cj
/ Dj
>
}
}}
}
ci
}}
}} D
Di
C
With this we can define a category Cone(D) of cones to the diagram D, where a
morphism of cones : (C, cj ) (C 0 , c0j ) is an arrow C such that the following
commutes for all j J:
/
C@
C0
@@
@@
c0j
@
cj @@
Dj
noting that the definition says that given any cone (C, ci ) to D, there is a unique
u : C lim
Dj
j0
5. Preservation of Limits
Definition 5.1. A functor F : C D preserves limits of type J iff whenever
pj : L Dj is a limit for a diagram D : J C, the cone F pj : F L F Dj is a
limit for the diagram F D : J D. We can also write this as:
F (lim Dj )
= lim F (Dj )
10
CHRIS HENDERSON
op
Before we start the next proposition, we introduce the notation CD for the category with functors taking D to C as objects and natural transformations between
such functors as arrows.
Proposition 5.6. Given objects A and B in a locally small category, C, if yA
=
yB, then A
= B.
Proof. Let be the natural isomorphism from yA to yB. We will now show that
the function g : HomC (A, B) HomSetCop (yA, yB), defined by g(f ) = yf for any
f : A B, is an isomorphism. First, take any 0 : yA yB and define a function
0
: A B as = A
(1A ). From the commutative diagram following we see that
0
0
= HomC (, A (1A )):
HomC (A, A)
c
0
A
/ HomC (A, B)
HomC (C, A)
0
C
/ HomC (C, B)
Because of this, we can define an arrow h : HomSetCop (yA, yB) HomC (A, B) by
0
h( 0 ) = A
(1A ). Now, to check that h and g are mutually inverse we first note that
for any f : A B, f = HomC (A, f )(1A ). Also, for any 0 : yA yB, we have
0
0 = HomC (, A
(1A )), as shown above. Therefore:
g(h()) = y(A (1A ))
= HomC (, A (1A ))
=
11
and also:
h(y(f )) = h(HomC (, f ))
= HomC (A, f )(1A )
=f
We also write g and h for the analogous isomorphisms between HomC (B, A) and
HomSetCop (yB, yA). Now, to show that A
= B we observe, by the commutative
diagram for naturality of :
1
1
A (1A A
(1B )) = A (1A ) A
(1B )
1
A (A
(1B ) = h()) h( 1 )
1B = h() h( 1 )
and similarly,
1
1
A
(1B A (1A )) = A
(1B ) A (1A )
1
A
(A (1A )) = h( 1 ) h()
1A = h( 1 ) h()
Thus, A
= B.
/ HomC (X, Dj )
5
lll
l
ll
pXi
l
l
ll
lll (D)
HomC (X, Di )
Diagram 1
kj
/ Dj
~>
~
~~
ki
~~ D
~
~
Di
L
Diagram 2
12
CHRIS HENDERSON
Now, take any cone (X, xi ) to D and we will show that there is a map u such
that the following commutes:
XA
AA
AAxi
u
AA
A
/ Di
L
ki
Diagram 3
Take any one element set, 1 = {?}, (which particular set is irrelevant, since any one
element set is isomorphic to any other one element set) and define a map hi : 1
HomC (X, Di ) such that hi (?) = xi . To show that (1, hi ) is a cone, we again take
the arrow (D) , and since (X, xi ) is a cone (Diagram 4):
xj = D xi
hj (?) = (D) hi (?)
since star is the only element of 1, then:
hj = (D) hi
xj
/ Dj
>
~
~
~
~
xi
~~ D
~~
Di
X
hj
/ HomC (X, Dj )
m6
mmm
m
m
m
hi
mmm
mmm (D)
HomC (X, Di )
1
Diagram 4
Diagram 5
Thus, (1, hi ) is a cone (Diagram 5), and there is some unique v : 1 lim HomC (X, Dj )
such that the following commutes:
1 SSSS
SSS
SSShi
SSS
v
SSS
)
lim HomC (X, Dj ) pX / HomC (X, Di )
i
Thus:
pXi (v(?)) = hi (?)
= xi
Define a map u : X L by u = 1
X (v(?)). To check that Diagram 3 commutes:
pXi (v(?)) = xi
pXi X 1
X (v(?))) = xi
(ki ) (u) = xi
ki u = xi
Now, we need to show that such a map u is unique, and if it is, we are finished
with the proof. Since (ki ) = pXi X , to show that our arrow u is uniquely
determined by its composites with all the ki , we need only show that the functions
pXi X are jointly one-to-one. Essentially, since X is an isomorphism, what we
13
need to show is that pXi are jointly one-to-one. Take the commutative diagram
below:
HomC (X, L)
RRR
RRRpXi X
RRR
X
RRR
RR)
lim HomC (X, Dj ) pX / HomC (X, Di )
i
Diagram 6
Suppose pXi is not jointly one-to-one, or in other words, suppose that for some a
and b in HomC (X, L), pXi X (a) = pXi X (b) for all i. Then define:
X (a) if x = b
m(x) = X (b) if x = a
X (x) otherwise
Clearly, pXi X = pXi m even though X 6= m, so X is not unique for Diagram
6. Since this contradicts our definition of limit, pXi must be one-to-one. Thus, our
arrow u is unique. Thus, ki : L Di is a limit of the diagram D.
We have already shown that representable functors preserve limits, and now we
will use Lemma 5.7 to show that right adjoints preserve limits as well.
Proposition 5.8. Right adjoints preserve limits, or more formally, if F : C D
and G : D C are functors and F a G, then if there exists a diagram D : J D
with a limit, we have that the diagram GD : J C has a limit and that:
G(lim Dj ) = lim GDj
= lim HomD (F X, Dj )
By Lemma 5.7, this implies that G(lim Dj ) is a limit of the diagram G. In other
words:
G(lim Dj )
= lim GDj
14
CHRIS HENDERSON
Theorem 6.2. Adjoint Functor Theorem (Freyd) Let C be locally small and
complete. Given any category D and a functor F : C D between them, then the
following are equivalent:
F has a left adjoint.
F preserves limits, and for each object D D the functor F satisfies the
following condition: There exists a set of objects (Ci )iI C such that for
any C C and any arrow f : D F C, there exists an i I and arrows
: D F Ci and f : Ci C such that the following diagram commutes:
/ F Ci
DC
CC
CC
Ff
C
f CC
!
FC
Ci
f
C
f = F (f )
7. Acknowledgements
I would like to thank Peter May and the REU program for providing a motivation
for this paper and mentors to guide it, Michael Shulman for providing guidance and
putting up with numerous drafts and last minute questions, Emily Riehl and Claire
Tomesch for being stand-in mentors early in the process, and Steve Awodey for
writing the clearest, most coherent text on category theory.
References
[1] Steve Awodey. Category Theory. Oxford University Press. 2006.
[2] Colin McLarty. Elementary Categories, Elementary Toposes. Oxford University Press. 1992.