• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Category Theory

2025/2026
Academic Year
ENG
Instruction in English
Delivered at:
Department of Informatics
Course type:
Elective course
When:
2 year, 3 module

Instructor


Safronenko, Evgenii

Course Syllabus

Abstract

It is an elective course. The course is aimed at developing students' theoretical knowledge and practical skills related to the use of functional programming languages. The course introduces the basic concepts of category theory, such as category, functor, and monad. Students will learn to understand commutative diagrams. To master the course, students must have knowledge of set theory, algebra, and topology.