Conducted in
term:
2024L
ECTS credits:
6
Organized by:
Faculty of Mathematics, Informatics, and Mechanics
Related to study programmes:
Applied Category Theory 1000-1M24STK
- Origins of the category theory
- Categories, Functors, Natural Transformations
- Commutative diagrams
- Representability. The Yoneda Lemma
- Universal Properties. Products and coproducts in categories
- Limits and Colimits of functors
- Adjoint functors
- Pull-backs i push-outs of functors (Kan extensions)
- Simplicial objects. Nerves of categories
- Geometric realisations of categories
- Closed model categories
- $n%-categories and $infty$-categories (info)
Main fields of studies for MISMaP
computer science
mathematics
mathematics
Type of course
elective monographs
Mode
Blended learning
Course coordinators
Bibliography
- S. Eilenberg, S. Mac Lane " General Theory of Natural Equivalences" Transactions of the American Mathematical Society, Vol. 58, No. 2 (Sep., 1945), pp. 231-294, Stable URL: https://www.jstor.org/stable/1990284
- S. Mac Lane Categories for working mathematicians
- E. Riehl Categories in context. https://math.jhu.edu/~eriehl/context.pdf
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: