Category Theory (MAGIC009)
There are no announcements
This course is part of the MAGIC core.
Category theory provides a convenient and powerful language that can be used in a variety of areas, including algebra, algebraic geometry, algebraic topology, mathematical logic and mathematical physics. The subject begins with the observation that all mathematical structures of a given kind (groups, topological spaces, etc..) and their associated morphisms (group homomorphisms, continuous functions, ...) can be assembled naturally into new kind of mathematical structure, a category. Because of this, category theory provides tools that can be applied uniformly in different fields.
This module will be an introduction to category theory. The main theme will be universal properties in their various manifestations, which is one of the most important uses of category theory in mathematics. Apart from introducing specific concepts, one of the goals of the module is to show how to think categorically.
Autumn 2020 (Monday, October 5 to Friday, December 11)
It will be useful to have taken an undergraduate course in group theory or commutative algebra or some other abstract algebra course. I will try to illustrate notions with examples from different areas, but you may find it useful to come up with examples from your preferred areas.
The topics covered are:
Clicking on the link for a book will take you to the relevant Google Book Search page. You may be able to preview the book there. On the right hand side you will see links to places where you can buy the book. There is also link marked 'Find this book in a library'. This sometimes works well, but not always. (You will need to enter your location, but it will be saved after you do that for the first time.)
No assessment information is available yet.
No assignments have been set for this course.
No files have yet been uploaded for this course.
Please log in to view lecture recordings.