Вопросы с тегом «category-theory»

118
Полезна ли теория категорий для обучения функциональному программированию?

Я изучаю Haskell, и я очарован языком. Однако у меня нет серьезных знаний по математике или CS. Но я опытный программист. Я хочу изучить теорию категорий, чтобы стать лучше на Хаскеле. Какие темы в теории категорий я должен изучить, чтобы обеспечить хорошую основу для понимания...

30
Как связаны языки программирования и основы математики?

В основном я знаю о трех основах математики Теория множеств Теория типов Теория категорий Итак, каким образом связаны языки программирования и основы математики? РЕДАКТИРОВАТЬ Первоначальный вопрос был «Языки программирования на основе основ математики» с добавленным парагарфом И реализации теории...

24
Какова связь между функторами в SML и теории категорий?

Вдоль той же мысли, что и это высказывание Андрея Бауэра в этом ответе Сообщество Haskell разработало ряд методов, основанных на теории категорий, из которых монады наиболее известны, но их не следует путать с монадами . Какова связь между функторами в SML и функторами в теории категорий? Поскольку...

22
Что подразумевается под теорией категорий, еще не знает, как обращаться с функциями более высокого порядка?

Читая Удай Редди ответ на Что такое соотношение между функторов в SML и теории категорий? Удай заявляет Теория категорий еще не знает, как обращаться с функциями более высокого порядка. Когда-нибудь, это будет. Поскольку я думал, что теория категорий способна послужить основой для математики, то...

21
Теория категорий (не) для программирования?

Изучив Haskell и другие не очень чистые языки FP, я решил прочитать о теории категорий. Получив хорошее понимание теории категорий, я начал думать о том, как концепции теории категорий могут быть использованы для разработки программ, но, как бы я ни старался, кажется, это не тот путь. Проведя много...

18
Естественные случаи появления монад, использующих теоретико-теоретическую структуру

Сегодня выступление Хеннинга Керстана («Семантика трассировки для вероятностных систем переходов») впервые поставило меня перед теорией категорий. Он построил теоретическую основу для описания вероятностных систем переходов и их поведения в общем виде, то есть с бесчисленно бесконечными наборами...

13
Справочный запрос: теория категорий в применении к системам типов

Я продолжаю слышать о том, как нужно изучать теорию категорий, чтобы действительно понять теорию языка программирования. До сих пор я выучил много PL, даже не ступая в царство категорий. Тем не менее, я подумал, что пришло время сделать прыжок, чтобы увидеть, что я пропустил. К сожалению, ни один...

12
Существует ли изоморфизм между (подмножеством) теории категорий и реляционной алгеброй?

Это происходит с точки зрения больших данных. По сути, многие фреймворки (например, Apache Spark) «компенсируют» отсутствие реляционных операций, предоставляя интерфейсы, подобные Functor / Monad, и наблюдается аналогичное движение к преобразованию кошек в SQL (Slick in Scala). Например, нам нужно...

11
В чем именно заключается семантическая разница между категорией и множеством?

В этом вопросе я спросил, в чем разница между набором и типом . Эти ответы действительно проясняются (например, @AndrejBauer), поэтому в своей жажде знаний я подчиняюсь искушению задать то же самое о категориях: Каждый раз, когда я читаю о теории категорий (которая, по общему признанию, является...