Теорія категорій
З Вікіпедії, безкоштовно encyclopedia
Теорія категорій — розділ математики, що вивчає властивості відношень між математичними структурами, незалежно від внутрішньої будови структур; абстрагується від множин та функцій до діаграм, де об'єкти сполучені морфізмами (стрілками).
Теорія категорій посідає центральне місце в сучасній математиці[1], а також має застосування в інформатиці[2] та теоретичній фізиці[3][4]. Сучасне викладання алгебричної геометрії та гомологічної алгебри основане на теорії категорії. Поняття теорії категорій використане в мові функційного програмування Haskell.