Preguntas con etiquetas [category-theory]

Publicado el 28/05/2009 a las 17:51
por usuario Fixpoint
Publicado el 03/08/2009 a las 21:37
por usuario Jørgen Fogh
votos
29
respuestas
2
visitas
2k
¿Puede liftM diferir de liftA?
Publicado el 28/10/2009 a las 03:34
por usuario Doug McClean
votos
11
respuestas
3
visitas
507
Ejemplos de interfaces duales útiles o no triviales
Publicado el 24/01/2010 a las 02:36
por usuario Scott Weinstein
Publicado el 26/06/2010 a las 21:30
por usuario gatoatigrado
votos
29
respuestas
3
visitas
3k
Son todos los funtores endofunctors Haskell?
Publicado el 17/07/2010 a las 22:35
por usuario Jonathan Sterling
votos
15
respuestas
4
visitas
631
Lo duales matemática hay en la programación OO?
Publicado el 28/07/2010 a las 13:44
por usuario Tuomas Hietanen
Publicado el 06/10/2010 a las 07:55
por usuario Roman A. Taycher
votos
70
respuestas
5
visitas
4k
Mónadas como adjunciones
Publicado el 15/01/2011 a las 01:31
por usuario Bartosz Milewski
Publicado el 20/02/2011 a las 13:50
por usuario barsoap
Publicado el 09/05/2011 a las 00:09
por usuario user2023370
votos
1
respuestas
1
visitas
362
NonEmpty no es un Comonad?
Publicado el 26/05/2011 a las 21:21
por usuario user2023370
votos
15
respuestas
1
visitas
649
Representable Functor isomorfo a (Bool -> a)
Publicado el 30/05/2011 a las 16:08
por usuario user2023370
Publicado el 22/06/2011 a las 20:37
por usuario modular
Publicado el 17/07/2011 a las 07:27
por usuario IttayD
Publicado el 28/07/2011 a las 06:01
por usuario Omar Antolín-Camarena
Publicado el 27/09/2011 a las 16:46
por usuario david
Publicado el 22/11/2011 a las 03:55
por usuario Kerrek SB
Publicado el 16/12/2011 a las 21:48
por usuario missingfaktor
votos
1
respuestas
1
visitas
134
operaciones binarias contravariant en Scala
Publicado el 30/04/2012 a las 19:19
por usuario NietzscheanAI
votos
17
respuestas
1
visitas
810
De orden superior ScalaCheck
Publicado el 09/05/2012 a las 15:19
por usuario Hugo Sereno Ferreira
Publicado el 30/07/2012 a las 17:44
por usuario Mike Izbicki
Publicado el 22/08/2012 a las 13:37
por usuario amindfv
Publicado el 16/09/2012 a las 23:54
por usuario esevelos
Publicado el 24/09/2012 a las 20:00
por usuario Mike Izbicki
Publicado el 13/10/2012 a las 21:01
por usuario Eric
votos
2
respuestas
0
visitas
64
La complejidad de Equivalencia de Categorías
Publicado el 29/11/2012 a las 00:03
por usuario Ryan Wisnesky
Publicado el 29/11/2012 a las 13:31
por usuario leftaroundabout
Publicado el 06/12/2012 a las 23:03
por usuario Cartesius00
Publicado el 18/12/2012 a las 17:26
por usuario Chris Taylor
Publicado el 20/12/2012 a las 12:58
por usuario Earth Engine
votos
10
respuestas
1
visitas
1k
Composición de dos funtores es un funtor
Publicado el 23/12/2012 a las 22:50
por usuario Chris Taylor
Publicado el 10/01/2013 a las 03:34
por usuario Mozibur Ullah
Publicado el 10/01/2013 a las 16:47
por usuario Mozibur Ullah
votos
2
respuestas
1
visitas
327
Funtores y objetos libres en Hask
Publicado el 17/01/2013 a las 21:49
por usuario Mike Izbicki
Publicado el 11/02/2013 a las 21:20
por usuario user142019
Publicado el 13/02/2013 a las 12:40
por usuario luqui
votos
35
respuestas
2
visitas
1k
Hacer Hask o Agda tienen ecualizadores?
Publicado el 24/02/2013 a las 02:44
por usuario Ben Millwood
votos
2
respuestas
0
visitas
242
Una teoría de la categoría pequeña
Publicado el 09/03/2013 a las 11:09
por usuario MathematicalOrchid
Publicado el 17/03/2013 a las 13:40
por usuario ocharles
Publicado el 17/03/2013 a las 18:40
por usuario jpvillaisaza
Publicado el 31/03/2013 a las 06:44
por usuario Znatz
votos
9
respuestas
2
visitas
860
La aplicación de la semántica a Mónadas gratis
Publicado el 10/04/2013 a las 16:34
por usuario Vic Smith
Publicado el 15/04/2013 a las 13:20
por usuario missingfaktor
votos
12
respuestas
1
visitas
694
¿Cómo se llama esta estructura especial funtor?
Publicado el 20/04/2013 a las 19:10
por usuario Péter Diviánszky
votos
9
respuestas
1
visitas
368
Cada mónada es monoide?
Publicado el 14/05/2013 a las 17:30
por usuario vinothkr
votos
27
respuestas
5
visitas
2k
Puede ser una mónada comonad?
Publicado el 14/05/2013 a las 20:52
por usuario MathematicalOrchid
Publicado el 02/06/2013 a las 08:07
por usuario Mike Izbicki
votos
10
respuestas
1
visitas
696
No es una monada, pero ¿qué es?
Publicado el 11/06/2013 a las 00:30
por usuario Mike Izbicki
votos
3
respuestas
1
visitas
465
¿Cómo se relaciona con anamorfosis lente?
Publicado el 19/06/2013 a las 18:57
por usuario nushio
votos
4
respuestas
1
visitas
317
comonads Scala; Comonad leyes?
Publicado el 22/06/2013 a las 04:14
por usuario user1888498




Publicado el 25/06/2013 a las 21:59
por usuario Daniel Velkov
Publicado el 29/06/2013 a las 03:15
por usuario smartcaveman
Publicado el 29/06/2013 a las 13:50
por usuario Ankur
Publicado el 11/07/2013 a las 11:19
por usuario hawkeye
Publicado el 24/07/2013 a las 14:06
por usuario josejuan
Publicado el 18/09/2013 a las 12:01
por usuario user967722
votos
2
respuestas
1
visitas
96
Decidibilidad de bi-cartesiano cerrado categorías
Publicado el 18/09/2013 a las 20:11
por usuario Ryan Wisnesky
Publicado el 21/09/2013 a las 03:04
por usuario Dev Maha
Publicado el 09/10/2013 a las 04:29
por usuario jberryman
votos
5
respuestas
1
visitas
1k
Composición función inversa en Haskell
Publicado el 23/11/2013 a las 05:04
por usuario Aadit M Shah
Publicado el 03/02/2014 a las 21:25
por usuario Rumca
Publicado el 08/02/2014 a las 16:12
por usuario uhbif19
Publicado el 18/02/2014 a las 01:22
por usuario user2141650
Publicado el 06/03/2014 a las 22:02
por usuario Lay González
votos
6
respuestas
4
visitas
333
"Transposición" de funtores?
Publicado el 23/04/2014 a las 14:54
por usuario Philip Kamenarsky
Publicado el 26/04/2014 a las 21:38
por usuario Ben Millwood
votos
8
respuestas
2
visitas
487
Functors de orden superior en Scala
Publicado el 10/05/2014 a las 06:28
por usuario DEAD
Publicado el 15/05/2014 a las 11:19
por usuario kqr
Publicado el 18/05/2014 a las 17:27
por usuario Patrick
votos
27
respuestas
3
visitas
2k
¿Cómo es un comonoid no trivial como?
Publicado el 25/05/2014 a las 13:04
por usuario betaveros
Publicado el 02/06/2014 a las 18:54
por usuario DEAD
votos
7
respuestas
1
visitas
810
Aplicativo libre en Scala
Publicado el 05/06/2014 a las 19:00
por usuario DEAD
Publicado el 06/06/2014 a las 22:17
por usuario dflemstr
Publicado el 26/06/2014 a las 21:46
por usuario Bob
Publicado el 01/07/2014 a las 18:12
por usuario Petr Pudlák
Publicado el 10/07/2014 a las 05:06
por usuario Cactus
Publicado el 11/07/2014 a las 20:47
por usuario Bob
Publicado el 21/07/2014 a las 03:33
por usuario Nathan BeDell
votos
8
respuestas
1
visitas
340
Haskell son tipos de datos co-álgebras por defecto?
Publicado el 21/07/2014 a las 16:58
por usuario Nathan BeDell
votos
1
respuestas
1
visitas
584
C ++ funtor (mapeo)
Publicado el 21/07/2014 a las 21:59
por usuario Maarten
Publicado el 01/08/2014 a las 00:46
por usuario Dan Burton
votos
6
respuestas
1
visitas
236
Bicategories en Haskell
Publicado el 08/08/2014 a las 20:16
por usuario Bob
votos
24
respuestas
1
visitas
501
Flecha sin arr
Publicado el 20/08/2014 a las 00:50
por usuario Dan Burton
votos
6
respuestas
1
visitas
343
Categorías biblioteca para Agda?
Publicado el 04/09/2014 a las 08:49
por usuario Roly
votos
7
respuestas
2
visitas
157
Pueden dos funtores no componer a un funtor?
Publicado el 21/09/2014 a las 11:03
por usuario Petr Pudlák
Publicado el 04/10/2014 a las 16:18
por usuario jhegedus
Publicado el 07/10/2014 a las 07:57
por usuario DEAD
Publicado el 08/10/2014 a las 19:58
por usuario Jonathan Cast
Publicado el 11/11/2014 a las 22:11
por usuario Nathan BeDell
Publicado el 21/11/2014 a las 11:54
por usuario mbrodersen
Publicado el 27/11/2014 a las 13:33
por usuario qbeightol
votos
15
respuestas
1
visitas
367
Las pruebas de nivel Tipo abierta en Haskell / Idris
Publicado el 30/11/2014 a las 23:40
por usuario David Harrison
votos
2
respuestas
1
visitas
263
Matriz como funtor aplicativo, que no es Mónada
Publicado el 08/12/2014 a las 17:04
por usuario Michael
votos
13
respuestas
2
visitas
462
Lista en función de la extensión Kan derecha
Publicado el 09/12/2014 a las 14:20
por usuario Katty J.
Publicado el 19/12/2014 a las 10:33
por usuario josejuan
votos
4
respuestas
1
visitas
158
Generalización de tipo exponencial
Publicado el 26/12/2014 a las 17:37
por usuario David Harrison
Publicado el 03/01/2015 a las 06:37
por usuario dk14
Publicado el 04/01/2015 a las 00:56
por usuario hawkeye
Publicado el 04/01/2015 a las 23:23
por usuario MainstreamDeveloper00
Publicado el 09/01/2015 a las 09:03
por usuario gonzaw




Publicado el 19/01/2015 a las 01:12
por usuario gonzaw
votos
3
respuestas
2
visitas
198
Notación do y la composición Mónada
Publicado el 01/03/2015 a las 23:31
por usuario Pablo Parada
votos
3
respuestas
0
visitas
95
Antecedentes de la biblioteca Categorías Agda?
Publicado el 24/04/2015 a las 02:03
por usuario user1604015
Publicado el 30/05/2015 a las 02:28
por usuario Rene Wooller
votos
16
respuestas
2
visitas
1k
¿Hay contravariant mónadas?
Publicado el 04/06/2015 a las 10:32
por usuario ZhekaKozlov
Publicado el 29/06/2015 a las 18:25
por usuario nclark
votos
16
respuestas
1
visitas
409
Control.Category, lo que hace >>> y <<< significa?
Publicado el 05/07/2015 a las 08:31
por usuario Madhavan Kumar
votos
9
respuestas
2
visitas
160
Es (\ f -> f fmap id) siempre equivalente al arr?
Publicado el 24/07/2015 a las 19:29
por usuario Aadit M Shah
Publicado el 31/07/2015 a las 20:22
por usuario raichoo
Publicado el 16/08/2015 a las 04:45
por usuario wenlong
votos
0
respuestas
1
visitas
88
Flecha anotación en la categoría rebanada
Publicado el 16/08/2015 a las 04:55
por usuario wenlong
Publicado el 19/08/2015 a las 22:07
por usuario Lynn
votos
20
respuestas
2
visitas
224
Relación entre `DList` y` [] `con Codensity
Publicado el 24/08/2015 a las 21:15
por usuario raichoo
Publicado el 27/08/2015 a las 14:35
por usuario Petr Pudlák
Publicado el 31/08/2015 a las 18:58
por usuario Petr Pudlák
Publicado el 01/09/2015 a las 04:42
por usuario Kamel
Publicado el 03/09/2015 a las 11:17
por usuario Juan
Publicado el 12/09/2015 a las 16:07
por usuario Freewind
Publicado el 15/09/2015 a las 02:53
por usuario Lynn
Publicado el 21/09/2015 a las 02:00
por usuario Clinton
votos
2
respuestas
1
visitas
70
Generalizando cuestiones Functor
Publicado el 21/09/2015 a las 09:32
por usuario Clinton
Publicado el 30/09/2015 a las 19:40
por usuario John F. Miller
Publicado el 04/10/2015 a las 05:31
por usuario Petr Pudlák
votos
0
respuestas
1
visitas
237
Es Monoid [String] realmente un Monoid en Scala
Publicado el 05/10/2015 a las 11:56
por usuario Jay
Publicado el 11/10/2015 a las 09:38
por usuario MaiaVictor
Publicado el 30/10/2015 a las 13:57
por usuario ruben.moor
Publicado el 08/11/2015 a las 07:29
por usuario Erik Allik
Publicado el 21/12/2015 a las 09:31
por usuario ais
Publicado el 31/12/2015 a las 08:29
por usuario Sergey Vorobey
Publicado el 31/12/2015 a las 13:42
por usuario Bradley Hardy
votos
37
respuestas
2
visitas
472
No siempre existe la mónada libre?
Publicado el 02/01/2016 a las 08:19
por usuario n.m.
votos
5
respuestas
2
visitas
168
mónada libre y el libre funcionamiento
Publicado el 03/01/2016 a las 07:31
por usuario nicolas
Publicado el 26/01/2016 a las 08:54
por usuario arrowd
Publicado el 15/02/2016 a las 02:04
por usuario Asterisk
Publicado el 24/02/2016 a las 22:07
por usuario Aaron Shen
Publicado el 25/02/2016 a las 12:41
por usuario MainstreamDeveloper00
votos
0
respuestas
1
visitas
91
gatos clojure anexan comportamiento nulo
Publicado el 03/03/2016 a las 08:07
por usuario nha
votos
1
respuestas
0
visitas
55
¿Hay un tipo de clase de singleton Aplicar [A]
Publicado el 08/03/2016 a las 16:11
por usuario pathikrit
Publicado el 28/03/2016 a las 23:31
por usuario Chet
Publicado el 19/04/2016 a las 07:35
por usuario Henry Story
Publicado el 30/04/2016 a las 18:14
por usuario pathikrit
Publicado el 12/05/2016 a las 19:48
por usuario MainstreamDeveloper00
Publicado el 19/05/2016 a las 13:08
por usuario john mangual
Publicado el 21/05/2016 a las 16:55
por usuario George
Publicado el 29/05/2016 a las 01:51
por usuario rapt
votos
5
respuestas
3
visitas
182
Funtores en Java
Publicado el 04/06/2016 a las 10:35
por usuario jackb
votos
15
respuestas
2
visitas
1k
¿Cuál es la relación entre profunctors y flechas?
Publicado el 03/07/2016 a las 08:24
por usuario Petr Pudlák
Publicado el 08/07/2016 a las 14:41
por usuario Petr Pudlák
Publicado el 09/07/2016 a las 08:40
por usuario Benjamin Berger
Publicado el 09/07/2016 a las 12:32
por usuario Benjamin Berger




Publicado el 13/07/2016 a las 15:13
por usuario Shuheng Zheng
Publicado el 16/07/2016 a las 16:21
por usuario Water Cooler v2
Publicado el 19/07/2016 a las 23:33
por usuario Trevor Hickey
votos
3
respuestas
3
visitas
358
Inversa de la función absurda
Publicado el 24/07/2016 a las 12:22
por usuario ThreeFx
votos
13
respuestas
1
visitas
550
Productos y coproductos de Posets
Publicado el 30/07/2016 a las 09:28
por usuario ThreeFx
Publicado el 01/08/2016 a las 21:45
por usuario Reuben
votos
13
respuestas
1
visitas
172
Transformaciones natural desde Lector Bool A lo mejor
Publicado el 17/08/2016 a las 19:13
por usuario Josh.F
votos
7
respuestas
2
visitas
273
Es este un ejemplo preciso de una Haskell Pullback?
Publicado el 18/08/2016 a las 19:18
por usuario Josh.F
votos
13
respuestas
1
visitas
269
grupo mónada gratuito
Publicado el 26/08/2016 a las 05:10
por usuario V. Semeria
Publicado el 30/08/2016 a las 22:12
por usuario Josh.F
votos
0
respuestas
1
visitas
38
Calcular grupos de categorías con resultados
Publicado el 31/08/2016 a las 05:37
por usuario Nick
votos
3
respuestas
1
visitas
220
listas planas y libres mónadas
Publicado el 10/09/2016 a las 09:34
por usuario stackman
Publicado el 12/09/2016 a las 17:27
por usuario Simon C
votos
8
respuestas
1
visitas
134
Definición de hoistfree
Publicado el 14/09/2016 a las 14:01
por usuario stackman
Publicado el 22/09/2016 a las 18:56
por usuario winitzki
Publicado el 03/10/2016 a las 10:27
por usuario Aaron Lahey
votos
0
respuestas
1
visitas
161
¿Qué es un proyector de tipo
Publicado el 06/10/2016 a las 17:42
por usuario pedrorijo91
votos
24
respuestas
3
visitas
1k
Plegable, y Monoid Mónada
Publicado el 10/10/2016 a las 02:27
por usuario Clinton
votos
4
respuestas
1
visitas
122
Arrowizing la tienda comonad
Publicado el 10/10/2016 a las 12:32
por usuario baxbaxwalanuksiwe
Publicado el 10/10/2016 a las 16:45
por usuario ThreeFx
Publicado el 05/11/2016 a las 23:20
por usuario tinlyx
Publicado el 10/11/2016 a las 17:37
por usuario chepner
Publicado el 18/11/2016 a las 22:36
por usuario Alexander Reshytko
votos
1
respuestas
0
visitas
130
Haciendo Data.Map un funtor contravariante
Publicado el 19/11/2016 a las 20:54
por usuario nponeccop
votos
2
respuestas
1
visitas
98
Clase parametrizado vs Función
Publicado el 20/11/2016 a las 12:11
por usuario Maulik Soneji
votos
6
respuestas
1
visitas
104
¿Qué es esta cosa similar a KleisliFunctor?
Publicado el 21/11/2016 a las 06:02
por usuario user3237465
votos
11
respuestas
1
visitas
169
¿Cuáles serían los métodos de una bi-comonad?
Publicado el 27/11/2016 a las 20:26
por usuario leftaroundabout
votos
13
respuestas
2
visitas
328
Los funtores de punto fijo de Libres y colibre
Publicado el 17/12/2016 a las 16:18
por usuario leftaroundabout
Publicado el 28/12/2016 a las 05:03
por usuario mnish
votos
3
respuestas
1
visitas
157
Suma de funtores indexados
Publicado el 02/01/2017 a las 01:31
por usuario Erik Schnetter
Publicado el 10/01/2017 a las 00:08
por usuario Matthew Hampsey
Publicado el 12/01/2017 a las 09:10
por usuario azaviruha
Publicado el 13/01/2017 a las 05:52
por usuario azaviruha
votos
2
respuestas
1
visitas
100
FP: Árboles - mapa, pliegue, cada uno. ¿Cómo?
Publicado el 19/01/2017 a las 20:29
por usuario Izhaki
Publicado el 26/01/2017 a las 08:38
por usuario Dominique Devriese
votos
3
respuestas
2
visitas
116
La ejecución eficiente de Catamorphisms en Scala
Publicado el 30/01/2017 a las 18:10
por usuario NietzscheanAI
Publicado el 05/02/2017 a las 14:55
por usuario slnowak
Publicado el 18/03/2017 a las 07:37
por usuario Petr Pudlák
Publicado el 05/04/2017 a las 03:52
por usuario 53E3916A
Publicado el 25/04/2017 a las 05:51
por usuario vidi
Publicado el 08/05/2017 a las 12:07
por usuario shayan
Publicado el 10/05/2017 a las 14:53
por usuario birrellwalsh
Publicado el 21/05/2017 a las 23:24
por usuario George
votos
1
respuestas
2
visitas
126
Puede el tipo `*` ser pensado como `ob (Hask)`?
Publicado el 21/05/2017 a las 23:56
por usuario George
Publicado el 22/05/2017 a las 01:05
por usuario George
Publicado el 23/05/2017 a las 00:49
por usuario George
Publicado el 25/05/2017 a las 15:59
por usuario Benjamin Hodgson
Publicado el 19/06/2017 a las 22:30
por usuario Ray Tayek
Publicado el 28/06/2017 a las 12:18
por usuario Aravindh S

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