Course: Category Theory

» List of faculties » PRF » KAG
Course title Category Theory
Course code KAG/TEK
Organizational form of instruction Lecture + Lesson
Level of course Master
Year of study not specified
Semester Winter
Number of ECTS credits 5
Language of instruction Czech
Status of course Compulsory-optional
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Lecturer(s)
  • Botur Michal, doc. Mgr. Ph.D.
Course content
1) Introduction of categories, examples 2) Basic concepts (epimorphisms, monomorphisms, initial and terminal objects, functor, natural transformation), 3) Limits and products (colimits and coproducts), 4) Adjunct functors 5) Monads and algebras

Learning activities and teaching methods
Lecture, Monologic Lecture(Interpretation, Training), Dialogic Lecture (Discussion, Dialog, Brainstorming)
Learning outcomes
Understand the basics of category theory.

Prerequisites
Knowledge of set theory and theoretical algebra.

Assessment methods and criteria
Oral exam, Written exam

Recommended literature
  • Francis Borceux. Handbook of Categorical Algebra I-III.
  • Jiří Adámek, Horst Herrlich, George E. Strecker. (2009). Abstract and Concrete Categories.
  • Saunders Mac Lane. (1971). Categories for the Working Mathematician.
  • Tom Leinster. Basic Category Theory.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Faculty of Science Study plan (Version): Mathematics (2023) Category: Mathematics courses 2 Recommended year of study:2, Recommended semester: Winter