Category Theory (MAGIC009) |
GeneralThis course is part of the MAGIC core. Description
Category theory is the language of much of modern mathematics. It starts from the observation that the collection of all mathematical structures of a certain kind may itself be viewed as a mathematical object - a category.
This is an introductory course in category theory. The main theme will be universal properties in their various manifestations, one of the most important uses of categories in mathematics.
SemesterSpring 2019 (Monday, January 21 to Friday, March 29) Hours
Timetable
PrerequisitesCategory theory is an abstract algebraic point of view of mathematics. Some familiarity with an algebraic way of thinking is important. It is therefore an advantage to have studied an undergraduate course in group theory or ring theory, or some other abstract algebra course. I will assume some knowledge of algebra such as vector spaces and their bases, and groups, but a basic undergraduate level knowledge of these subjects is sufficient.
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.) AssessmentThere are 2 weeks to complete and submit answers online. There are 4 questions. Each question will be marked out of 20. To pass the exam you will need at least 40 points out of the total of 80 points.
Category Theory Exam 2018-19
FilesFiles marked L are intended to be displayed on the main screen during lectures.
Recorded LecturesPlease log in to view lecture recordings. |