functors, natural transformations
functors, examples from set theory, algebra and topology
and colimits, completeness and cocompleteness
Lemma, Yoneda embedding, Kan extensions
systems, fibrations, topological functors
Individual Project Topics
categories, enriched category theory
and semi-abelian categories
is no single recommended text for the course, but see below for
a list of recommended books.
will be based on
5 homework assignments, to be counted at 10% each toward your
an individual project to be counted at 20%,
a final test, counting 30%.
Leinster, Basic Category Theory, Cambridge University Press
2014, available on line at https://arxiv.org/abs/1612.09375
Awodey, Category Theory, Oxford University Press 2006.
Borceux, Handbook of Categorical Algebra 1-3, Cambridge
University Press 1994.
Mac Lane, Categories For the Working Mathematician (2nd
Edition), Springer 1997.
William Lawvere and Stephen H. Schanuel, Conceptual Mathematics,
A first introduction to categories, Cambridge University Press
Adamek, Horst Herrlich and George E. Strecker, Abstract and
Concrete Categories, The Joy of Cats, Wiley 1990; available
on-line at http://tac.mta.ca/tac/reprints/articles/17/tr17abs.html
Barr and Charles Wells, Toposes, Triples and Theories, Springer
1985; available on line at http://tac.mta.ca/tac/reprints/articles/12/tr12abs.html
Hofmann, Gavin J. Seal, Walter Tholen (editors), Monoidal
Topology, A Categorical Approach to Order, Metric and Topology,
Cambridge University Press 2014. Preliminary