This course is aimed at potential users of
categorical ideas rather than aspiring category theorists.
I will skip details wherever I can.
There will not be many useful theorems in the course. Rather, the
point is to teach you how to think categorically. To this end,
I will set a couple of exercises each week, and I strongly suggest
that you do them: otherwise, the point is likely to be lost. (I know
authors always say "the exercises are an essential part of
the text", but I really think it's true here.)
0
|
Informal introduction
|
|
(handout, not a live performance:
pdf,
ps;
solutions to exercises:
pdf,
ps)
|
1
|
Categories and functors
|
|
(notes:
pdf,
ps;
solutions to exercises:
pdf,
ps)
|
2
|
Natural transformations and equivalence
|
|
(notes:
pdf,
ps;
solutions to exercises:
pdf,
ps)
|
3
|
Adjoints
|
|
(notes:
pdf,
ps;
solutions to exercises:
pdf,
ps)
|
4
|
Representability
|
|
(notes:
pdf,
ps;
solutions to exercises:
pdf,
ps)
|
5
|
Limits
|
|
(notes:
pdf,
ps;
solutions to exercises:
pdf,
ps)
|
6
|
Adjoints, representables and limits
|
|
(notes:
pdf,
ps;
solutions to exercises:
pdf,
ps)
|
7
|
Monads
|
|
(notes:
pdf,
ps;
solutions to exercises:
pdf,
ps)
|
8
|
Monoidal categories
|
|
(notes:
pdf,
ps;
solutions to exercises:
pdf,
ps)
|
Here
is the page for another category theory course that I gave, more
detailed than this one.
This page was last modified on 13 December 2004.
|