MU:MU03260 Category Theory - Course Information
MU03260 Category Theory
Mathematical Institute in OpavaWinter 2010
- Extent and Intensity
- 2/2/0. 6 credit(s). Type of Completion: zk (examination).
- Guaranteed by
- doc. RNDr. Michal Marvan, CSc.
Mathematical Institute in Opava - 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
- Geometry (programme MU, M1101)
- Geometry (programme MU, N1101)
- Mathematical Analysis (programme MU, M1101)
- Mathematical Analysis (programme MU, N1101)
- Secondary School Teacher Traning in Physics and Mathematics (programme FPF, M1701 Fyz)
- Secondary School Teacher Training in Mathematics (programme FPF, M7504)
- Upper Secondary School Teacher Training in Mathematics (programme MU, N1101)
- Secondary school teacher training in general subjects with specialization in Mathematics (programme FPF, M7504)
- Course objectives
- Category theory provides a background for many areas of modern Mathematics. It helps to systemize the knowledge, e.g., in abstract algebra or general topology. It becomes nearly indispensable in algebraic topology. The essence of some constructions (e.g., products), which frequently appear in various areas of Mathematics, consists in ensuring commutativity of a particular diagram. In category theory they become just concrete examples of general constructions with abstract morphisms linked by abstract objects. On a higher-level of abstraction, categories are linked by functors and functors are linked by natural transformations.
- Syllabus
- Objects and morphisms, category, dual category, subcategory.
Monomorhisms, epimorphisms, equalizers, products,
pullbacks, general limits and dual concepts.
Functors, concrete categories, equivalence of categories.
Natural transformations, representable
functors, adjoint functors, Freyd's theorems.
Additive and Abelian categories, kernel and cokernel,
exact functors.
Injective and projective objects, resolvents,
derived functors, Ext and Tor.
- Objects and morphisms, category, dual category, subcategory.
- Literature
- recommended literature
- S. Mac Lane. Categories for the Working Mathematician. New York, 1971. info
- Language of instruction
- Czech
- Further comments (probably available only in Czech)
- The course can also be completed outside the examination period.
- Teacher's information
- Oral examination.
- Enrolment Statistics (Winter 2010, recent)
- Permalink: https://is.slu.cz/course/sumu/winter2010/MU03260