PřF:M7170 Reading sem. from cat. theory - Course Information
M7170 Reading seminar from category theory
Faculty of Scienceautumn 2021
- Extent and Intensity
- 0/1/0. 1 credit(s) (příf plus uk k 1 zk 2 plus 1 > 4). Type of Completion: z (credit).
- Teacher(s)
- doc. John Denis Bourke, PhD (lecturer)
- Guaranteed by
- prof. RNDr. Jiří Rosický, DrSc.
Department of Mathematics and Statistics – Departments – Faculty of Science
Supplier department: Department of Mathematics and Statistics – Departments – Faculty of Science - Timetable
- Fri 16:00–16:50 MS1,01016
- Prerequisites
- M2150 Algebra I || M2155 Algebra 1 || ( FI:MB008 Algebra I ) || PROGRAM(N-MA) || PROGRAM(1433:N-IN)
Graduation of M7150 Category theory. - Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
The capacity limit for the course is 16 student(s).
Current registration and enrolment status: enrolled: 6/16, only registered: 0/16, only registered with preference (fields directly associated with the programme): 0/16 - fields of study / plans the course is directly associated with
- Mathematics (programme PřF, M-MA, specialization Discrete Mathematics)
- Mathematics (programme PřF, N-MA, specialization Discrete Mathematics)
- Course objectives
- An ability to understand and present research papers in category theory including a survey of related literature.
- Learning outcomes
- Mastering of given special areas of category theory. A preparation for an independent research work in this area.
- Syllabus
- The seminar will (tentatively) involve papers and textbooks covering several themes:
- 1) polynomial functors and and their applications;
- 2) a generalised approach to accessible and locally presentable categories, capturing finite product theories (Lawvere theories), finite limit theories and others under the one umbrella;
- 3) the connections between multicategories, proof theory and sequent calculus;
- 4) monads and their connection to theories.
- The study of:
- 1) Chapters 1-4 of Polynomial Functors: A General Theory of Interaction by Spivak and Niu 2021 (long but not difficult to read)
- 2) A classification of accessible categories by Adámek, Borceux, Lack and Rosický, 2002.
- 3) Multicategories Revisted by Lambek, 1989
- 4) Some of
- The formal theory of monads by Street, 1972;
- Monads and theories by Bourke and Garner, 2019.
- Teaching methods
- The plan is that this will be a live seminar, though could be in hybrid form with some talks online.
- Assessment methods
- Evaluation of an activity.
- Language of instruction
- English
- Further Comments
- Study Materials
- Enrolment Statistics (autumn 2021, recent)
- Permalink: https://is.muni.cz/course/sci/autumn2021/M7170