Category Theory (MAGIC009) |
GeneralThis course is part of the MAGIC core. Description
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. SemesterAutumn 2020 (Monday, October 5 to Friday, December 11) Hours
Timetable
PrerequisitesIt 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.
SyllabusThe topics covered are:
Bibliography
Note: 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.) AssessmentNo assessment information is available yet.
No assignments have been set for this course. FilesNo files have yet been uploaded for this course. Recorded LecturesPlease log in to view lecture recordings. |