category-theory

3зной

1ответ

Как понять определение Setoid категории?

У меня возникли проблемы с пониманием следующих категорий категорий (определение here), которое включает Setoid. И я не понимаю, почему Setoid необходим или его роль здесь. Class Category O `{!Arrows

1зной

1ответ

Набор преобразований f :: a-> форма моноида над функцией композиции - как я могу сделать это экземпляром Monoid?

Похоже, что преобразования должны образовывать моноид, а функция идентификации как пустой элемент и стандартная функция - как двоичная операция. Я не думаю, что это особенно полезно, но это должно быт

2зной

2ответ

Являются ли все экземпляры Monad в Haskell разными способами для отображения из Hask в Hask?

Я читаю Haskell/Category theory и вот definition of monad из этой статьи: Монада представляет собой особый тип функтора из категории к той же категории , который поддерживает некоторые дополнительные

3зной

1ответ

Аппликативный экземпляр для наборов (вложенные списки)

В настоящее время я работаю над личным проектом для моего скромного класса математики и пытаюсь формализовать теорию множеств в Haskell. Набор, определенный в нашем классе, представляет собой произвол

1зной

1ответ

Читатель монады - как он соответствует интерфейсу Monad?

Я изучаю теорию категорий. Я понимаю концепцию читателя монады, это даже довольно легко реализовать: case class Reader[DEP, A](g: DEP => A) { def apply(dep: DEP): A = g(dep) def map[B](f: A