I'll teach this course in the WinterTerm of 2011-12. 

THE INFORMATION THAT FOLLOWS CONCERNS A COURSE THAT I TAUGHT IN THE PAST. NO MAJOR CHANGES ARE TO BE EXPECTED BUT UPDATED INFORMATION WILL BE MADE AVAILABLE ON THIS SITE IN A TIMELY MANNER.

-----------------------------------------------------------------------------------------------------------------------------

The course will provide an introduction to Category Theory and includes a discussion of limits and colimits, adjoint functors and monads, factorizations and topological functors, as well as glimpses at topos theory, enriched category theory, and higher-dimensional category theory. There is no single recommended text for the course, but see below for a list of recommended books.

Evaluation will be based on

- 5 homework assignments, to be counted at 10% each toward your final grade,

- an individual project (with in-class presentation - see below for more info), to be counted at 20%,

- a final test, to be held Tuesday, December 12, 2-4pm, in N627 Ross, counting 30%.

The University has strict policies regarding academic dishonesty, please see:

http://www.yorku.ca/secretariat/policies/document.php?document=69

Office hours (in N605Ross) Mondays 1-1:30pm N605Ross

Books

Steve Awodey, Category Theory, Oxford university Press 2006.

Francis Borceux, Handbook of Categorical Algebra 1-3, Cambridge University Press 1994.

Saunders Mac Lane, Categories For the Working Mathematician (2nd Edition), Springer 1997.

F. William Lawvere and Stephen H. Schanuel, Conceptual Mathematics, A first introduction to categories, Cambridge University Press 1997.

Jiri 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

Michael Barr and Charles Wells, Toposes, Triples and Theories, Springer 1985; available on line at http://tac.mta.ca/tac/reprints/articles/12/tr12abs.html

Project themes (presenter, scheduled date of in-class presentation)

- Exact categories, semi-abelian categories (A. Akhvlediani, 23 November)

- Factorization systems (M. Merener, 21 November)

- Topological functors (N. Roger, 23 November)

- Topoi, notion and examples (S. Sozubek, 28 November)

- Topoi, internal logic (C. Dombeu Kouam, 28 November)

Final project write-ups will be due December 15.

Unofficial Grades (final digits of your student number)