Course details
Category Theory
Guarantor
Šlapal Josef, prof. RNDr., CSc. (IM DAAG)
Language of instruction
Czech, English
Completion
Examination
Time span
- 39 hrs lectures
Department
Study literature
- J. Adámek, Matematické struktury a kategorie, SNTL, Praha, 1982
- B.C. Pierce, Basic Category Theory for Computer Scientists, The MIT Press, Cambridge, 1991
- R.F.C. Walters, Categories and Computer Science, Cambridge Univ. Press, 1991
Fundamental literature
- M. Barr, Ch. Wells: Category Theory for Computing Science, Prentice Hall, New York, 1990
- B.C. Pierce: Basic Category Theory for Computer Scientists, The MIT Press, Cambridge, 1991
- R.F.C. Walters, Categories and Computer Science, Cambridge Univ. Press, 1991
Syllabus of lectures
- Graphs and categories
- Algebraic structures as categories
- Constructions on categories
- Properties of objects and morphisms
- Products and sums of objects
- Natural numbers objects and deduction systems
- Functors and diagrams
- Functor categories, grammars and automata
- Natural transformations
- Limits and colimits
- Adjoint functors
- Cartesian closed categories and typed lambda-calculus
- The cartesian closed category of Scott domains
Course inclusion in study plans