Теорія категорій

📐 Що таке теорія категорій?

Теорія категорій — це розділ математики, який вивчає абстрактні структури та відносини між ними. Вона надає універсальну мову для опису математичних об'єктів та їх взаємодій, що робить її особливо корисною для об'єднання різних розділів математики та застосувань в програмуванні та логіці.

🎯 Основні розділи теорії категорій:

Категорії - основні структури з об'єктами та морфізмами

Функтори - відображення між категоріями

Природні перетворення - морфізми між функторами

Границі та кограниці - універсальні конструкції

Алгебраїчні структури - моноїди, групи, кільця

📐 Категорії та морфізми

1. Основні визначення

Категорія як фундаментальна структура:

📐 Категорія

Визначення:

Компоненти:

📐 Об'єкти

Визначення: • A, B, C ∈ Ob(𝒞) - об'єкти категорії • Абстрактні сутності • Можуть бути множинами, групами, топологічними просторами • Властивості

Приклади: • Множини • Групи • Топологічні простори • Векторні простори

📐 Морфізми

Визначення: • f: A → B - морфізм з A до B • hom(A,B) - множина морфізмів • Композиція g ∘ f • Властивості

Властивості: • Асоціативність • Тотожні морфізми • Композиція • Приклади

📐 Композиція

Визначення: • (h ∘ g) ∘ f = h ∘ (g ∘ f) • Асоціативність • Тотожні морфізми • Властивості

Властивості: • Асоціативність • id_A ∘ f = f ∘ id_B = f • Тотожні морфізми • Приклади

2. Приклади категорій

Основні категорії в математиці:

📐 Set - категорія множин

Об'єкти: • Множини A, B, C • Морфізми: функції f: A → B • Композиція: композиція функцій • Тотожності: тотожні функції

Властивості: • Універсальна категорія • Базова для інших категорій • Приклади • Застосування

📐 Grp - категорія груп

Об'єкти: • Групи G, H, K • Морфізми: гомоморфізми φ: G → H • Композиція: композиція гомоморфізмів • Тотожності: тотожні гомоморфізми

Властивості: • Алгебраїчна структура • Гомоморфізми • Приклади • Застосування

📐 Top - категорія топологічних просторів

Об'єкти: • Топологічні простори X, Y, Z • Морфізми: неперервні відображення f: X → Y • Композиція: композиція відображень • Тотожності: тотожні відображення

Властивості: • Топологічна структура • Неперервність • Приклади • Застосування

𝒞 = (Ob(𝒞), Mor(𝒞), ∘, id)

📐 Функтори

1. Коваріантні та контраваріантнічьі функтори

Відображення між категоріями:

📐 Функтор

Визначення:

Аксіоми:

📐 Коваріантний функтор

Визначення: • F: 𝒞 → 𝒟 • F(A) ∈ Ob(𝒟) для A ∈ Ob(𝒞) • F(f): F(A) → F(B) для f: A → B • Зберігає композицію та тотожності

Властивості: • F(f ∘ g) = F(f) ∘ F(g) • F(id_A) = id_{F(A)} • Приклади • Застосування

📐 Контраваріантний функтор

Визначення: • F: 𝒞^{op} → 𝒟 • F(A) ∈ Ob(𝒟) для A ∈ Ob(𝒞) • F(f): F(B) → F(A) для f: A → B • Зберігає композицію та тотожності

Властивості: • F(f ∘ g) = F(g) ∘ F(f) • F(id_A) = id_{F(A)} • Приклади • Застосування

📐 Приклади функторів

Забуваючі функтори: • U: Grp → Set • Забуває групову структуру • Приклади • Застосування

Вільні функтори: • F: Set → Grp • Створює вільну групу • Приклади • Застосування

2. Природні перетворення

Морфізми між функторами:

📐 Природне перетворення

Визначення:

Аксіома:

📐 Компоненти

Визначення: • η_A: F(A) → G(A) - компоненти • Для кожного A ∈ Ob(𝒞) • Природність • Властивості

Природність: • G(f) ∘ η_A = η_B ∘ F(f) • Для кожного f: A → B • Приклади • Застосування

📐 Ізоморфізми

Визначення: • η: F ⇒ G - природний ізоморфізм • η_A: F(A) → G(A) - ізоморфізми • Для кожного A • Властивості

Властивості: • η_A - ізоморфізми • Природність • Приклади • Застосування

📐 Приклади

Тотожне перетворення: • 1_F: F ⇒ F • (1_F)_A = id_{F(A)} • Природність • Властивості

Композиція: • (ψ ∘ η)_A = ψ_A ∘ η_A • Природність • Приклади • Застосування

F: 𝒞 → 𝒟 - функтор між категоріями

📐 Границі та кограниці

1. Границі

Універсальні конструкції в категоріях:

📐 Границя

Визначення:

Універсальна властивість:

📐 Твір

Визначення: • A × B - твір об'єктів A, B • π_A: A × B → A, π_B: A × B → B • Універсальна властивість • Властивості

Універсальна властивість: • ∃! f: C → A × B • π_A ∘ f = f_A, π_B ∘ f = f_B • Приклади • Застосування

📐 Рівнізатор

Визначення: • eq(f,g) - рівнізатор морфізмів f,g: A → B • e: eq(f,g) → A • f ∘ e = g ∘ e • Універсальна властивість

Універсальна властивість: • ∃! h: C → eq(f,g) • e ∘ h = φ • Приклади • Застосування

📐 Ядро

Визначення: • ker(f) - ядро морфізму f: A → B • k: ker(f) → A • f ∘ k = 0 • Універсальна властивість

Універсальна властивість: • ∃! h: C → ker(f) • k ∘ h = φ • Приклади • Застосування

2. Кограниці

Дуальні до границь конструкції:

📐 Кограниця

Визначення: • colim F - кограниця функтора F: 𝒥 → 𝒞 • ι_j: F(j) → colim F • Універсальна властивість • Властивості

Універсальна властивість: • ∃! φ: colim F → C • φ ∘ ι_j = α_j • Приклади • Застосування

📐 Копродукт

Визначення: • A ⊔ B - копродукт об'єктів A, B • ι_A: A → A ⊔ B, ι_B: B → A ⊔ B • Універсальна властивість • Властивості

Універсальна властивість: • ∃! f: A ⊔ B → C • f ∘ ι_A = f_A, f ∘ ι_B = f_B • Приклади • Застосування

📐 Коеквалайзер

Визначення: • coeq(f,g) - коеквалайзер морфізмів f,g: A → B • c: B → coeq(f,g) • c ∘ f = c ∘ g • Універсальна властивість

Універсальна властивість: • ∃! h: coeq(f,g) → C • h ∘ c = φ • Приклади • Застосування

lim F - границя функтора F: 𝒥 → 𝒞

📐 Алгебраїчні структури

1. Моноїди та групи

Алгебраїчні об'єкти в категоріях:

📐 Моноїд

Визначення:

Аксіоми:

📐 Моноїд в Set

Визначення: • (M, ·, e) - множина з операцією • ·: M × M → M - множення • e ∈ M - одиниця • Асоціативність та одиниця

Аксіоми: • (a · b) · c = a · (b · c) • e · a = a · e = a • Приклади • Застосування

📐 Група в Set

Визначення: • (G, ·, e, (-)^{-1}) - група • ·: G × G → G - множення • e ∈ G - одиниця • (-)^{-1}: G → G - обернення

Аксіоми: • Асоціативність • Одиниця • Обернення • Приклади

📐 Кільце в Set

Визначення: • (R, +, ·, 0, 1) - кільце • +: R × R → R - додавання • ·: R × R → R - множення • 0, 1 ∈ R - нуль та одиниця

Аксіоми: • (R, +, 0) - абелева група • (R, ·, 1) - моноїд • Дистрибутивність • Приклади

2. Модулі та алгебри

Структури над кільцями:

📐 Модуль над кільцем

Визначення: • M - модуль над кільцем R • +: M × M → M - додавання • ·: R × M → M - множення на скаляр • Властивості

Властивості: • (M, +, 0) - абелева група • r · (m + n) = r · m + r · n • (r + s) · m = r · m + s · m • (rs) · m = r · (s · m)

📐 Алгебра над кільцем

Визначення: • A - алгебра над кільцем R • A - модуль над R • ·: A × A → A - множення • Властивості

Властивості: • (A, +, ·, 0, 1) - кільце • r · (a · b) = (r · a) · b = a · (r · b) • Приклади • Застосування

📐 Гопф алгебра

Визначення: • H - гопф алгебра • (H, μ, η, Δ, ε, S) • μ - множення • Δ - комультиплікація • S - антипод

Властивості: • Алгебра • Коеалгебра • Антипод • Приклади

(M, μ, η) - моноїд в категорії 𝒞

📐 Застосування

1. Математика

Теорія категорій в різних розділах математики:

📐 Алгебраїчна топологія

Гомології: • H_n: Top → Ab - функтори гомологій • Природні перетворення • Точні послідовності • Застосування

Когомології: • H^n: Top^{op} → Ab - функтори когомологій • Кубовий добуток • Характеристичні класи • Застосування

📐 Алгебраїчна геометрія

Схеми: • Sch - категорія схем • Морфізми схем • Пучки • Застосування

Пучки: • Sh(X) - категорія пучків на X • Морфізми пучків • Когомології • Застосування

📐 Теорія мір

Міри: • Meas - категорія вимірних просторів • Морфізми • Інтеграли • Застосування

Інтеграли: • ∫: Meas → ℝ • Лінійність • Монотонність • Застосування

2. Програмування

Теорія категорій в програмуванні:

📐 Функціональне програмування

Типи: • Type - категорія типів • Функції як морфізми • Композиція • Приклади

Монади: • T: Type → Type • return: A → T(A) • bind: T(A) → (A → T(B)) → T(B) • Закони монад

📐 Haskell

Типи: • Maybe, List, IO • Функції • Композиція • Приклади

Монади: • Maybe монада • List монада • IO монада • Застосування

📐 Теорія типів

Залежні типи: • Σ-типи • Π-типи • Ідентичність • Приклади

Гомотопічна теорія типів: • Типи як простори • Шляхи • Еквівалентності • Застосування

🎯 Висновки

Теорія категорій є потужним інструментом для абстрактного опису математичних структур та їх взаємодій. Вона надає універсальну мову для об'єднання різних розділів математики та має широке застосування в програмуванні, особливо в функціональному програмуванні та теорії типів. Теорія категорій включає категорії з об'єктами та морфізмами, функтори як відображення між категоріями, природні перетворення як морфізми між функторами, границі та кограниці як універсальні конструкції, та алгебраїчні структури як моноїди, групи та кільця. Теорія категорій має широке застосування в математиці, включаючи алгебраїчну топологію, алгебраїчну геометрію та теорію мір, а також в програмуванні, особливо в функціональному програмуванні та теорії типів.

📚 Пов'язані теми

Математика

Алгебра

Топологія

Теорія множин

Логіка

📐 Розділи теорії категорій

Категорії та морфізми

Функтори

Природні перетворення

Границі та кограниці

Алгебраїчні структури

🔬 Основні поняття

Об'єкти та морфізми

Композиція

Функтори

Природні перетворення

Універсальні властивості

⚡ Застосування

Алгебраїчна топологія

Алгебраїчна геометрія

Теорія мір

Функціональне програмування

Теорія типів

📖 Рекомендована література

"Categories for the Working Mathematician" - Mac Lane

"Category Theory" - Awodey

"Basic Category Theory" - Leinster

"Conceptual Mathematics" - Lawvere & Schanuel

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Spirograph і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.