Запитання з тегом «category-theory»

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

6
Чи корисна теорія категорій для вивчення функціонального програмування?
Я вивчаю Haskell і мене захоплює мова. Однак у мене немає серйозного математичного або CS курсу. Але я досвідчений програмний програміст. Я хочу вивчити теорію категорій, щоб я міг стати кращим у Haskell. Які теми в теорії категорій я повинен навчитися, щоб забезпечити хорошу основу для розуміння Хаскелла?

2
Як пов’язані мови програмування та основи математики?
В основному я знаю три основи математики Теорія множин Теорія типів Теорія категорій Тож якими способами пов'язані мови програмування та основи математики? EDIT Первісне питання було "Мови програмування на основі математики" з доданим парагарфом І реалізація теорії 1. Теорія типів у Coq 2. Теорія множин у SETL 3. Теорія категорій …

3
Яке співвідношення між функторами в SML та теорії категорій?
З тієї ж думки , як ця заява по Andrej Bauer в цьому відповіді Громада Хаскелла розробила низку методик, натхнених теорією категорій, з яких монади найбільш відомі, але не повинні плутати їх з монадами . Яке співвідношення між функторами в SML та функторами в теорії категорій? Оскільки я не знаю …

2
Що означає теорія категорій, ще не знає, як поводитися з функціями вищого порядку?
Читаючи Удай Редді відповідь на Що таке співвідношення між функторів в SML і теорії категорій? Удай штати Теорія категорій ще не знає, як поводитися з функціями вищого порядку. Якогось дня, буде. Як я вважав, теорія категорій може слугувати основою математики, тоді слід мати можливість отримати всі математичні функції та вищі …

2
Теорія категорій (не) для програмування?
Вивчивши Haskell та інші не такі чисті мови FP, я вирішив прочитати про теорію категорій. Отримавши гарне розуміння теорії категорій, я почав думати про те, як поняття теорії категорій можна використовувати для роздуму над розробкою програм, але як би я не намагався, здається, це не шлях. Провівши багато невдалих спроб …

1
Природні явища монад, що використовують категорію-теоретичну основу
Сьогодні розмова Геннінга Керстана ("Семантика слідів для імовірнісних перехідних систем") вперше зіткнулася з теорією категорій. Він створив теоретичну основу для опису імовірнісних перехідних систем та їх поведінки загалом, тобто з незліченними нескінченними наборами стану та різними уявленнями про сліди. З цією метою він проходить через кілька шарів абстракції, щоб нарешті …

2
Довідковий запит: Теорія категорій, що стосується систем типів
Я постійно чую, як треба вивчити теорію категорій, щоб справді зрозуміти теорію мови програмування. Поки що я навчився великій кількості PL, не вступаючи ніколи в сферу категорій. Однак я подумав, що настав час зробити стрибок, щоб побачити, чого я пропустив. На жаль, жодне з джерел, які я можу знайти, здається, …

1
Чи існує ізоморфізм між (підмножиною) теорії категорій та реляційною алгеброю?
Це відбувається з точки зору великих даних. В основному, багато фреймворків (наприклад, Apache Spark) "компенсують" відсутність реляційних операцій, забезпечуючи інтерфейси, подібні до Functor / Monad, і відбувається подібний рух до перетворень котів у SQL (Slick in Scala). Наприклад, нам потрібне природне з'єднання (якщо не бути повторів на індексах) для zip …

4
У чому саме полягає смислова різниця між категорією та множиною?
У цьому запитанні я запитав, в чому різниця між набором і типом . Ці відповіді були дійсно уточнюючими (наприклад, @AndrejBauer), тому в своїй спразі до знань я піддаюся спокусі запитати те саме про категорії: Кожен раз, коли я читаю про теорію категорій (яка, правда, досить неформальна), я не можу реально …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.