4
ответа
Что такое zygo/meta/histo/para/futu/dyna/whatever-morphisms?
Существует ли список их с примерами, доступными для человека без обширного ведома теории категорий?
вопрос задан: 17 April 2011 21:14
4
ответа
Какие математические поединки находятся там в программировании OO?
Если Вы смотрели Движение Глубокие шоу Channel9 в последнее время, одной очень часто упоминаемой темой является математическая дуальность в программировании. TomasP имеет хорошее сообщение в блоге о дуальности в объектно-ориентированном...
вопрос задан: 18 February 2011 14:47
3
ответа
Все ли функторы Хаскелла являются эндофункторами?
Я немного сбит с толку, и мне нужен кто-то, чтобы поправить меня. Давайте изложим мое текущее понимание: где E - эндофунктор, а A - некоторая категория: E: A - > A. Поскольку все типы и морфизмы в ...
вопрос задан: 9 July 2018 23:50
3
ответа
Примеры полезных или non-trival двойных интерфейсов
Недавно у Erik Meijer и других есть шоу, как IObservable/IObserver является двойным из IEnumerable/IEnumerator. То, что они являются двойными, означает, что любая операция в одном интерфейсе допустима на другом...
вопрос задан: 11 February 2010 10:30
2
ответа
liftM может отличаться от liftA?
По данным Typeclassopedia (среди других источников), Применимый логически принадлежит между Монадой и Указанный (и таким образом Функтор) в иерархии классов типа, таким образом, у нас идеально было бы что-то как...
вопрос задан: 6 January 2011 20:58
1
ответ
Для чего используется Представляемый в Haskell?
Я хочу понять, что представляет собой репрезентативный в Haskell. Определение Представимые эндофункторы над категорией типов Хаскелла изоморфны монаде читателя и поэтому ...
вопрос задан: 21 January 2019 14:42
1
ответ
Монада - это просто моноид в категории эндофункторов, в чем проблема?
Кто первым сказал следующее? Монада - это просто моноид в категории эндофункторов, в чем проблема? И на менее важной ноте, это правда, и если да, то могли бы вы дать объяснение (...
вопрос задан: 9 November 2018 15:22
1
ответ
Что такое монадные трансформаторы Хаскелла в категориальных терминах?
Будучи студентом по математике, первое, что я сделал, когда узнал о монадах в Хаскеле, это проверил, что это действительно монады в том смысле, о котором я знал. Но потом я узнал о монадных трансформаторах и тех ...
вопрос задан: 23 November 2011 00:11
1
ответ
кто-то мог объяснить соединение между ковариантностью/контравариантностью типа и теорией категорий?
Я только начинаю читать о теории категорий и был бы очень признателен за ее, если кто-то мог бы объяснить соединение между контравариантностью/ковариантностью CS и теорией категорий. Что было бы некоторые...
вопрос задан: 26 June 2010 20:30
1
ответ
Ресурсы для изучения [закрытой] теории категорий
Я собираюсь взять курс о теории категорий скоро. Какие ресурсы можно рекомендовать для приобретения знаний об этом? Что части релевантны для изучения и как я учусь применять свое знание?
вопрос задан: 4 August 2009 01:07
0
ответов
Монады не с «flatMap», а «flatUnit»? [закрыто]
Монады в теории категорий определяются тройками T, unit, flat⟩. класс Monad t, где map :: (a -> b) -> (t a -> t b) - единица действия функтора :: a -> t a flat :: t (t a) -> t a ...
вопрос задан: 26 October 2018 04:11
0
ответов
Функтор предназначен для (a -> b) -> (fa -> fb), что для (Категория c) => cab -> c (fa) (fb)?
Я хотел бы иметь функцию для отображения чистой функции на контейнер или для последовательного выполнения аппликативного / монадического действия через него . Для чистого сопоставления у нас есть fmap :: Functor f => (a -> b) - & ...
вопрос задан: 9 July 2018 23:50
0
ответов
Реальные применения зигогистоморфных препроморфизмов
Да, вот эти:
импорт Control.Morphism.Zygo
импорт Control.Morphism.Prepro
импорт Control.Morphism.Histo
импортировать Control.Functor.Algebra
Контроль импорта ....
вопрос задан: 23 May 2017 10:31
0
ответов
Представимый функтор, изоморфный (Bool -> a)
Я подумал, что попробую интригующий Представляемый -functors пакет для определения экземпляра Monad и Comonad для функтора, заданного парой данных a = Pair aa, который может быть представлен с помощью Bool; как упоминалось в ...
вопрос задан: 23 May 2017 10:29
0
ответов
Лакс моноидальные функторы с другой моноидальной структурой
Аппликативные функторы хорошо известны и любимы среди хаскеллеров за их способность применять функции в эффективном контексте. В категориально-теоретических терминах можно показать, что методы ...
вопрос задан: 26 May 2014 22:02
0
ответов
Существует ли теория, сочетающая теорию категорий/абстрактную алгебру и вычислительную сложность?
Теория категорий и абстрактная алгебра имеют дело с тем, как функции могут быть объединены с другими функциями. Теория сложности имеет дело с тем, насколько сложно вычислить функцию. Мне странно, что я не...
вопрос задан: 4 September 2012 21:50
0
ответов
High-Order ScalaCheck
Рассмотрим следующее определение категории: trait Category[~>[_, _]] { def id[A]: A ~> A def compose[A, B, C](f: A ~> B)(g: B ~> C): A ~> C
} Вот пример унарного...
вопрос задан: 9 May 2012 23:20
0
ответов
Какова связь сворачивания в Option, Either и т. Д. И сворачивания в Traversable?
Scalaz предоставляет метод с именем fold для различных ADT, таких как Boolean, Option [_], Validation [_, _], Either [_, _] и т. д. Этот метод в основном принимает функции, соответствующие всем возможным случаям для этого ...
вопрос задан: 16 December 2011 20:48
0
ответов
Что такое монада в ФП, в категориальных терминах?
Каждый раз, когда кто-то обещает «объяснить монады», мой интерес возбуждается, но на смену ему приходит разочарование, когда предполагаемое «объяснение» - это длинный список примеров, заканчивающийся каким-то небрежным замечанием ...
вопрос задан: 21 November 2011 16:44
0
ответов
Scala - Как использовать функторы для типов, не являющихся функциями?
Читая описание функторов в этом блоге: https://hseeberger.wordpress.com/2010/11/25/introduction-to-category- theory-in-scala / есть общее определение Functor и многое другое ...
вопрос задан: 27 September 2011 18:01
0
ответов
Обработка большого набора небольших файлов с помощью Hadoop
Я использую программу-пример Hadoop WordCount для обработки большого набора небольших файлов / веб-страниц (примерно 2–3 КБ). Поскольку это далеко от оптимального размера файла для файлов hadoop, программа работает очень медленно. Я ...
вопрос задан: 8 May 2011 23:09
0
ответов
Монады как дополнения
Я читал о монадах в теории категорий. Одно определение монад использует пару сопряженных функторов. Монада определяется обходом с использованием этих функторов. По-видимому, дополнения очень ...
вопрос задан: 15 January 2011 00:31