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