Вопросы с тэгом [category-theory]

Задан 28/06/2017 в 15:18
пользователем Aravindh S
Задан 20/06/2017 в 01:30
пользователем Ray Tayek
Задан 25/05/2017 в 18:59
пользователем Benjamin Hodgson
Задан 23/05/2017 в 03:49
пользователем George
Задан 22/05/2017 в 04:05
пользователем George
голоса
1
ответов
2
просмотр
126
Может ли вид `*` рассматривать как `Ob (Hask)`?
Задан 22/05/2017 в 02:56
пользователем George
Задан 22/05/2017 в 02:24
пользователем George
Задан 10/05/2017 в 17:53
пользователем birrellwalsh
Задан 08/05/2017 в 15:07
пользователем shayan
Задан 25/04/2017 в 08:51
пользователем vidi
Задан 05/04/2017 в 06:52
пользователем 53E3916A
Задан 18/03/2017 в 10:37
пользователем Petr Pudlák
Задан 05/02/2017 в 17:55
пользователем slnowak
голоса
3
ответов
2
просмотр
116
Эффективная реализация катаморфизм в Scala
Задан 30/01/2017 в 21:10
пользователем NietzscheanAI
Задан 26/01/2017 в 11:38
пользователем Dominique Devriese
голоса
2
ответов
1
просмотр
100
FP: Деревья - карта, складка, каждый. Как?
Задан 19/01/2017 в 23:29
пользователем Izhaki
Задан 13/01/2017 в 08:52
пользователем azaviruha
Задан 12/01/2017 в 12:10
пользователем azaviruha
Задан 10/01/2017 в 03:08
пользователем Matthew Hampsey
голоса
3
ответов
1
просмотр
157
Сумма индексированных функторов
Задан 02/01/2017 в 04:31
пользователем Erik Schnetter
Задан 28/12/2016 в 08:03
пользователем mnish
Задан 17/12/2016 в 19:18
пользователем leftaroundabout
голоса
11
ответов
1
просмотр
169
Что бы методы би-комонадой?
Задан 27/11/2016 в 23:26
пользователем leftaroundabout
голоса
6
ответов
1
просмотр
104
Что эта вещь похожа на KleisliFunctor?
Задан 21/11/2016 в 09:02
пользователем user3237465
голоса
2
ответов
1
просмотр
98
Параметризованный класс против функции
Задан 20/11/2016 в 15:11
пользователем Maulik Soneji
голоса
1
ответов
0
просмотр
130
Создание Data.Map контравариантный функтор
Задан 19/11/2016 в 23:54
пользователем nponeccop
Задан 19/11/2016 в 01:36
пользователем Alexander Reshytko
Задан 10/11/2016 в 20:37
пользователем chepner
голоса
3
ответов
1
просмотр
226
Как понять Setoid определение категории?
Задан 06/11/2016 в 02:20
пользователем tinlyx
Задан 10/10/2016 в 19:45
пользователем ThreeFx
голоса
4
ответов
1
просмотр
122
Arrowizing комонады магазин
Задан 10/10/2016 в 15:32
пользователем baxbaxwalanuksiwe
голоса
24
ответов
3
просмотр
1k
Складная, Monoid и Монада
Задан 10/10/2016 в 05:27
пользователем Clinton
голоса
0
ответов
1
просмотр
161
Что является своего рода проектор
Задан 06/10/2016 в 20:42
пользователем pedrorijo91
голоса
1
ответов
1
просмотр
116
Создание союза на левой стороне типа Либо
Задан 03/10/2016 в 13:27
пользователем Aaron Lahey
голоса
16
ответов
1
просмотр
442
Это свойство функтора сильнее, чем монады?
Задан 22/09/2016 в 21:56
пользователем winitzki
голоса
8
ответов
1
просмотр
134
Определение hoistfree
Задан 14/09/2016 в 17:01
пользователем stackman
Задан 12/09/2016 в 20:27
пользователем Simon C
голоса
3
ответов
1
просмотр
220
Плоские списки и свободные монады
Задан 10/09/2016 в 12:34
пользователем stackman
голоса
0
ответов
1
просмотр
38
Расчет категории групп с результатами
Задан 31/08/2016 в 08:37
пользователем Nick
Задан 31/08/2016 в 01:12
пользователем Josh.F
голоса
13
ответов
1
просмотр
269
Свободная группа монада
Задан 26/08/2016 в 08:10
пользователем V. Semeria
голоса
7
ответов
2
просмотр
273
Это точный пример Haskell откате?
Задан 18/08/2016 в 22:18
пользователем Josh.F
голоса
13
ответов
1
просмотр
172
Природные Трансформации От чтения Bool К Может
Задан 17/08/2016 в 22:13
пользователем Josh.F
Задан 02/08/2016 в 00:45
пользователем Reuben
голоса
13
ответов
1
просмотр
550
Продукты и копроизведения в ч.у.м.
Задан 30/07/2016 в 12:28
пользователем ThreeFx
голоса
3
ответов
3
просмотр
358
Инверсия нелепой функции
Задан 24/07/2016 в 15:22
пользователем ThreeFx
Задан 20/07/2016 в 02:33
пользователем Trevor Hickey
Задан 16/07/2016 в 19:21
пользователем Water Cooler v2
Задан 13/07/2016 в 18:13
пользователем Shuheng Zheng
Задан 09/07/2016 в 15:32
пользователем Benjamin Berger
Задан 09/07/2016 в 11:40
пользователем Benjamin Berger




Задан 08/07/2016 в 17:41
пользователем Petr Pudlák
голоса
15
ответов
2
просмотр
1k
Какая связь между profunctors и стрелами?
Задан 03/07/2016 в 11:24
пользователем Petr Pudlák
голоса
5
ответов
3
просмотр
182
Функторы в Java
Задан 04/06/2016 в 13:35
пользователем jackb
Задан 29/05/2016 в 04:51
пользователем rapt
Задан 21/05/2016 в 19:55
пользователем George
голоса
2
ответов
2
просмотр
107
Как операторы `>>>` и `` >> = работа в Haskell?
Задан 19/05/2016 в 16:08
пользователем john mangual
голоса
11
ответов
2
просмотр
468
Что такое цель Zap функтора и зап функции в Haskell?
Задан 12/05/2016 в 22:48
пользователем MainstreamDeveloper00
Задан 30/04/2016 в 21:14
пользователем pathikrit
Задан 19/04/2016 в 10:35
пользователем Henry Story
голоса
12
ответов
2
просмотр
205
Какие типы, различающие категории?
Задан 29/03/2016 в 02:31
пользователем Chet
Задан 08/03/2016 в 19:11
пользователем pathikrit
голоса
0
ответов
1
просмотр
91
Clojure кошки добавить ноль поведение
Задан 03/03/2016 в 11:07
пользователем nha
Задан 25/02/2016 в 15:41
пользователем MainstreamDeveloper00
Задан 25/02/2016 в 01:07
пользователем Aaron Shen
Задан 15/02/2016 в 05:04
пользователем Asterisk
Задан 26/01/2016 в 11:54
пользователем arrowd
голоса
5
ответов
2
просмотр
168
Свободная монады и свободная операция
Задан 03/01/2016 в 10:31
пользователем nicolas
голоса
37
ответов
2
просмотр
472
Всегда ли существует свободная монада?
Задан 02/01/2016 в 11:19
пользователем n.m.
Задан 31/12/2015 в 16:42
пользователем Bradley Hardy
Задан 31/12/2015 в 11:29
пользователем Sergey Vorobey
Задан 21/12/2015 в 12:31
пользователем ais
Задан 08/11/2015 в 10:29
пользователем Erik Allik
Задан 30/10/2015 в 16:57
пользователем ruben.moor
Задан 11/10/2015 в 12:38
пользователем MaiaVictor
голоса
0
ответов
1
просмотр
237
Является Monoid [String] действительно Monoid в Скале
Задан 05/10/2015 в 14:56
пользователем Jay
Задан 04/10/2015 в 08:31
пользователем Petr Pudlák
Задан 30/09/2015 в 22:40
пользователем John F. Miller
голоса
2
ответов
1
просмотр
70
Проблемы Обобщая Functor
Задан 21/09/2015 в 12:32
пользователем Clinton
Задан 21/09/2015 в 05:00
пользователем Clinton
Задан 15/09/2015 в 02:53
пользователем Lynn
Задан 12/09/2015 в 16:07
пользователем Freewind
Задан 03/09/2015 в 11:17
пользователем Juan
Задан 01/09/2015 в 04:42
пользователем Kamel
Задан 31/08/2015 в 18:58
пользователем Petr Pudlák
Задан 27/08/2015 в 14:35
пользователем Petr Pudlák
голоса
20
ответов
2
просмотр
224
Соотношение между `` DList` и [] `с Codensity
Задан 24/08/2015 в 21:15
пользователем raichoo
Задан 19/08/2015 в 22:07
пользователем Lynn
голоса
0
ответов
1
просмотр
88
Стрелка обозначение категории среза
Задан 16/08/2015 в 04:55
пользователем wenlong
Задан 16/08/2015 в 04:45
пользователем wenlong
Задан 31/07/2015 в 20:22
пользователем raichoo
голоса
9
ответов
2
просмотр
160
Есть (\ е -> БПМЖ F ID) всегда эквивалентна обр?
Задан 24/07/2015 в 19:29
пользователем Aadit M Shah
голоса
16
ответов
1
просмотр
409
Control.Category, что делает >>> и <<< значит?
Задан 05/07/2015 в 08:31
пользователем Madhavan Kumar
Задан 29/06/2015 в 18:25
пользователем nclark
голоса
16
ответов
2
просмотр
1k
Есть ли контравариантным монады?
Задан 04/06/2015 в 10:32
пользователем ZhekaKozlov
Задан 30/05/2015 в 02:28
пользователем Rene Wooller
Задан 24/04/2015 в 02:03
пользователем user1604015
голоса
3
ответов
2
просмотр
198
Есть обозначения и состав Monad
Задан 01/03/2015 в 23:31
пользователем Pablo Parada
Задан 19/01/2015 в 01:12
пользователем gonzaw
Задан 09/01/2015 в 09:03
пользователем gonzaw
Задан 04/01/2015 в 23:23
пользователем MainstreamDeveloper00




Задан 04/01/2015 в 00:56
пользователем hawkeye
Задан 03/01/2015 в 06:37
пользователем dk14
голоса
4
ответов
1
просмотр
158
Обобщение экспоненциального типа
Задан 26/12/2014 в 17:37
пользователем David Harrison
Задан 19/12/2014 в 10:33
пользователем josejuan
голоса
13
ответов
2
просмотр
462
Список основан на правом пролонгации Kan
Задан 09/12/2014 в 14:20
пользователем Katty J.
Задан 08/12/2014 в 17:04
пользователем Michael
Задан 30/11/2014 в 23:40
пользователем David Harrison
Задан 27/11/2014 в 13:33
пользователем qbeightol
Задан 21/11/2014 в 11:54
пользователем mbrodersen
Задан 11/11/2014 в 22:11
пользователем Nathan BeDell
Задан 08/10/2014 в 19:58
пользователем Jonathan Cast
Задан 07/10/2014 в 07:57
пользователем DEAD
Задан 04/10/2014 в 16:18
пользователем jhegedus
Задан 21/09/2014 в 11:03
пользователем Petr Pudlák
голоса
6
ответов
1
просмотр
343
Категории библиотека для Agda?
Задан 04/09/2014 в 08:49
пользователем Roly
голоса
24
ответов
1
просмотр
501
Стрелка без обр
Задан 20/08/2014 в 00:50
пользователем Dan Burton
голоса
6
ответов
1
просмотр
236
Бикатегории в Haskell
Задан 08/08/2014 в 20:16
пользователем Bob
Задан 01/08/2014 в 00:46
пользователем Dan Burton
голоса
1
ответов
1
просмотр
584
C ++ функтор (отображение)
Задан 21/07/2014 в 21:59
пользователем Maarten
Задан 21/07/2014 в 16:58
пользователем Nathan BeDell
Задан 21/07/2014 в 03:33
пользователем Nathan BeDell
Задан 11/07/2014 в 20:47
пользователем Bob
Задан 10/07/2014 в 05:06
пользователем Cactus
Задан 01/07/2014 в 18:12
пользователем Petr Pudlák
Задан 26/06/2014 в 21:46
пользователем Bob
Задан 06/06/2014 в 22:17
пользователем dflemstr
голоса
7
ответов
1
просмотр
810
Free Аппликативный в Scala
Задан 05/06/2014 в 19:00
пользователем DEAD
Задан 02/06/2014 в 18:54
пользователем DEAD
голоса
27
ответов
3
просмотр
2k
Что нетривиальный comonoid выглядеть?
Задан 25/05/2014 в 13:04
пользователем betaveros
Задан 18/05/2014 в 17:27
пользователем Patrick
Задан 15/05/2014 в 11:19
пользователем kqr
голоса
8
ответов
2
просмотр
487
Высшие функторы порядка в Скале
Задан 10/05/2014 в 06:28
пользователем DEAD
Задан 26/04/2014 в 21:38
пользователем Ben Millwood
голоса
6
ответов
4
просмотр
333
«Перестановка» функторов?
Задан 23/04/2014 в 14:54
пользователем Philip Kamenarsky
Задан 06/03/2014 в 22:02
пользователем Lay González
голоса
6
ответов
1
просмотр
607
Где функтор в естественной трансформации?
Задан 18/02/2014 в 01:22
пользователем user2141650
голоса
11
ответов
4
просмотр
654
Почему класс Functor не возвращает функцию?
Задан 08/02/2014 в 16:12
пользователем uhbif19
Задан 03/02/2014 в 21:25
пользователем Rumca
голоса
5
ответов
1
просмотр
1k
Функция реверса Композиция в Haskell
Задан 23/11/2013 в 05:04
пользователем Aadit M Shah
голоса
13
ответов
1
просмотр
438
Как uncurry и Fanin связаны в теории категорий?
Задан 09/10/2013 в 04:29
пользователем jberryman
Задан 21/09/2013 в 03:04
пользователем Dev Maha
Задан 18/09/2013 в 20:11
пользователем Ryan Wisnesky
Задан 18/09/2013 в 12:01
пользователем user967722
Задан 24/07/2013 в 14:06
пользователем josejuan
Задан 11/07/2013 в 11:19
пользователем hawkeye
голоса
23
ответов
5
просмотр
1k
Где значение вписываться в категории HASK?
Задан 29/06/2013 в 13:50
пользователем Ankur
Задан 29/06/2013 в 03:15
пользователем smartcaveman
Задан 25/06/2013 в 21:59
пользователем Daniel Velkov
голоса
4
ответов
1
просмотр
317
Scala comonads; Комонадой законы?
Задан 22/06/2013 в 04:14
пользователем user1888498
голоса
3
ответов
1
просмотр
465
Как анаморфизм связаны с объективом?
Задан 19/06/2013 в 18:57
пользователем nushio




голоса
10
ответов
1
просмотр
696
Это не монада, но что это?
Задан 11/06/2013 в 00:30
пользователем Mike Izbicki
голоса
11
ответов
1
просмотр
562
Какова история позади класса типа Functor?
Задан 02/06/2013 в 08:07
пользователем Mike Izbicki
голоса
27
ответов
5
просмотр
2k
Может быть монадой комонады?
Задан 14/05/2013 в 20:52
пользователем MathematicalOrchid
голоса
9
ответов
1
просмотр
368
Каждая монада Моноид?
Задан 14/05/2013 в 17:30
пользователем vinothkr
Задан 20/04/2013 в 19:10
пользователем Péter Diviánszky
Задан 15/04/2013 в 13:20
пользователем missingfaktor
голоса
9
ответов
2
просмотр
860
Применение Семантики для бесплатной Монады
Задан 10/04/2013 в 16:34
пользователем Vic Smith
Задан 31/03/2013 в 06:44
пользователем Znatz
Задан 17/03/2013 в 18:40
пользователем jpvillaisaza
Задан 17/03/2013 в 13:40
пользователем ocharles
голоса
2
ответов
0
просмотр
242
Немного теории категорий
Задан 09/03/2013 в 11:09
пользователем MathematicalOrchid
голоса
35
ответов
2
просмотр
1k
У Hask или Agda эквалайзеры?
Задан 24/02/2013 в 02:44
пользователем Ben Millwood
Задан 13/02/2013 в 12:40
пользователем luqui
Задан 11/02/2013 в 21:20
пользователем user142019
голоса
2
ответов
1
просмотр
327
Функторы и свободные объекты в HASK
Задан 17/01/2013 в 21:49
пользователем Mike Izbicki
Задан 10/01/2013 в 16:47
пользователем Mozibur Ullah
Задан 10/01/2013 в 03:34
пользователем Mozibur Ullah
голоса
10
ответов
1
просмотр
1k
Состав двух функторов функтор
Задан 23/12/2012 в 22:50
пользователем Chris Taylor
Задан 20/12/2012 в 12:58
пользователем Earth Engine
Задан 18/12/2012 в 17:26
пользователем Chris Taylor
Задан 06/12/2012 в 23:03
пользователем Cartesius00
Задан 29/11/2012 в 13:31
пользователем leftaroundabout
голоса
2
ответов
0
просмотр
64
Сложность эквивалентности
Задан 29/11/2012 в 00:03
пользователем Ryan Wisnesky
Задан 13/10/2012 в 21:01
пользователем Eric
Задан 24/09/2012 в 20:00
пользователем Mike Izbicki
Задан 16/09/2012 в 23:54
пользователем esevelos
Задан 22/08/2012 в 13:37
пользователем amindfv
Задан 30/07/2012 в 17:44
пользователем Mike Izbicki
голоса
17
ответов
1
просмотр
810
Высокий порядок ScalaCheck
Задан 09/05/2012 в 15:19
пользователем Hugo Sereno Ferreira
голоса
1
ответов
1
просмотр
134
Контравариантные бинарные операции в Scala
Задан 30/04/2012 в 19:19
пользователем NietzscheanAI
Задан 16/12/2011 в 21:48
пользователем missingfaktor
голоса
46
ответов
8
просмотр
2k
Что такое монада в FP, в категоричной форме?
Задан 22/11/2011 в 03:55
пользователем Kerrek SB
Задан 27/09/2011 в 16:46
пользователем david
Задан 28/07/2011 в 06:01
пользователем Omar Antolín-Camarena
Задан 17/07/2011 в 07:27
пользователем IttayD
Задан 22/06/2011 в 20:37
пользователем modular
голоса
15
ответов
1
просмотр
649
Представимых функторов изоморфна (Bool -> а)
Задан 30/05/2011 в 16:08
пользователем user2023370
голоса
1
ответов
1
просмотр
362
NonEmpty не комонада?
Задан 26/05/2011 в 21:21
пользователем user2023370
Задан 09/05/2011 в 00:09
пользователем user2023370
голоса
151
ответов
2
просмотр
11k
Реальные приложения zygohistomorphic prepromorphisms
Задан 20/02/2011 в 13:50
пользователем barsoap
голоса
70
ответов
5
просмотр
4k
Монады как примыканий
Задан 15/01/2011 в 01:31
пользователем Bartosz Milewski
Задан 06/10/2010 в 07:55
пользователем Roman A. Taycher
Задан 28/07/2010 в 13:44
пользователем Tuomas Hietanen
голоса
29
ответов
3
просмотр
3k
Являются ли все Haskell функторы endofunctors?
Задан 17/07/2010 в 22:35
пользователем Jonathan Sterling
Задан 26/06/2010 в 21:30
пользователем gatoatigrado
голоса
11
ответов
3
просмотр
507
Примеры полезных или не Trival два интерфейсов
Задан 24/01/2010 в 02:36
пользователем Scott Weinstein
голоса
29
ответов
2
просмотр
2k
Может liftM отличаться от Лифта?
Задан 28/10/2009 в 03:34
пользователем Doug McClean
голоса
26
ответов
2
просмотр
4k
Ресурсы для теории обучения категории
Задан 03/08/2009 в 21:37
пользователем Jørgen Fogh
Задан 28/05/2009 в 17:51
пользователем Fixpoint

Cookies help us deliver our services. By using our services, you agree to our use of cookies. Learn more