M7150 Category theory

Faculty of Science
Spring 2001
Extent and Intensity
2/0/0. 4 credit(s). Type of Completion: zk (examination).
Teacher(s)
prof. RNDr. Jiří Rosický, DrSc. (lecturer)
Guaranteed by
prof. RNDr. Jiří Rosický, DrSc.
Department of Mathematics and Statistics – Departments – Faculty of Science
Contact Person: prof. RNDr. Jiří Rosický, DrSc.
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)
Course objectives
Categories: category, constructions of categories, special objects and morphisms
Products and sums
Functors: functors, diagrams
Natural transformations: natural transformations, Yoneda lemma, representable functors
Cartesian closed categories
Limits: equalizers, pullbacks, limits, colimits, limits by products and equalizers
Adjoint functors: adjoint functors, Freyd's theorem
Closed categories: monoidal categories, symmetric monoidal closed categories, connections with linear logic
Literature
  • BARR, Michael and Charles WELLS. Category theory for computing science. 2nd ed. London: Prentice-Hall, 1995, xvii, 325. ISBN 0-13-323809-1. info
  • ADÁMEK, Jiří. Matematické struktury a kategorie. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1982, 269 s. URL info
Language of instruction
Czech
Further Comments
The course is taught once in two years.
The course is taught every week.
The course is also listed under the following terms Autumn 2010 - only for the accreditation, Autumn 2002, Autumn 2004, Autumn 2006, Autumn 2008, Autumn 2010, Autumn 2011 - acreditation, Autumn 2012, Autumn 2014, Autumn 2016, Autumn 2018, Autumn 2020, Autumn 2022, Autumn 2024.
  • Enrolment Statistics (Spring 2001, recent)
  • Permalink: https://is.muni.cz/course/sci/spring2001/M7150