M7170 Reading seminar from category theory

Faculty of Science
Spring 2026
Extent and Intensity
0/1/0. 2 credit(s) (příf plus uk k 1 zk 2 plus 1 > 4). Type of Completion: z (credit).
In-person direct teaching
Teacher(s)
prof. RNDr. Jiří Rosický, DrSc. (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
Mon 16. 2. to Fri 22. 5. Tue 12:00–12:50 M3,01023
Prerequisites
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.
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)
Abstract
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. The attention will be focused on applications in structure theory.
Key topics

At the beginning, the seminar will concentrate at the following papers.

Ch. Heunen, A. Kornell, N. van der Schaaf,  Axioms for the category of Hilbert spaces and linear contractions

M. Di Meglio, Ch. Heunen, J.-S. P. Lemay, P. Perrone, D. Stein,  Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories

M. Abbadini, L. Reggio,  On the axiomatisability of the dual of compact ordered spaces

S. Ikonicoff, J.-S. P. Lemay, T. Van der Linden,   From Abelianization to Tangent Categories

S. Awodey, M. A. Warren, Homotopy theoretic models of identity types 

Approaches, practices, and methods used in teaching
Reports with a discussion.
Method of verifying learning outcomes and course completion requirements
Evaluation of an activity.
Language of instruction
English
Further comments (probably available only in Czech)
Study Materials
The course is taught annually.
Teacher's information
There will be studied special parts of category theory and structure theory.
The course is also listed under the following terms Autumn 2007 - for the purpose of the accreditation, Autumn 1999, Autumn 2001, Autumn 2003, Autumn 2005, Autumn 2007, Autumn 2009, Spring 2019, Spring 2021, autumn 2021, Spring 2022, Autumn 2022, Spring 2023, Autumn 2023, Spring 2024, Autumn 2024, Spring 2025, Autumn 2025, Autumn 2026, Spring 2027.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/sci/spring2026/M7170