Опис курсу

 Дисципліна «Теорія категорій для програмістів» присвячена вивченню фундаментальних математичних структур, які складають основу сучасної комп’ютерної науки та теорії типів. Курс розкриває поняття категорії як математичної структури, що складається з об’єктів та морфізмів (стрілок) із визначеною операцією композиції та тотожними морфізмами.

Основна мета курсу — продемонструвати зв’язок між абстрактною математикою та практичним програмуванням. Зокрема, розглядається, як специфікації типів у мовах програмування (наприклад, Python) стають об’єктами категорії, а «чисті» функції одного аргументу — її морфізмами. Такий підхід дозволяє програмістам використовувати математичну суворість для моделювання складних систем.

Програма дисципліни охоплює наступні ключові аспекти:

• Основи теорії: визначення категорій (малих, локально малих), вивчення прикладів категорій множин, препорядків та орієнтованих графів.
• Класифікація морфізмів: вивчення властивостей ізоморфізмів, мономорфізмів та епіморфізмів, що дозволяє глибше зрозуміти структуру зв’язків між об’єктами.
• Функтори та натуральні перетворення: аналіз відображень між категоріями (коваріантні та контраваріантні функтори Hom) та способів трансформації самих функторів.
• Універсальні конструкції: розгляд ініціальних та термінальних об’єктів, побудова добутків та ко-добутків (сум), а також вивчення експоненціалів, що веде до поняття декартово замкнених категорій.
• Фундаментальні результати: вивчення Леми Йонеди, яка є потужним інструментом для представлення категорій та вирішення складних задач через аналіз функторів.

Курс спрямований на формування у розробників високого рівня абстрактного мислення, що дозволяє створювати більш надійне та модульне програмне забезпечення, спираючись на такі поняття як кома-категорії, слайс-категорії та діаграми.