Aquí podría ser tu PUBLICIDAD


Preguntas con etiquetas [category-theory]

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


Aquí podría ser tu PUBLICIDAD



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


Aquí podría ser tu PUBLICIDAD



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


Aquí podría ser tu PUBLICIDAD



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



Aquí
podría
ser
tu

PUBLICIDAD



Las cookies ayudan a usar nuestro servicio. Al usar nuestro servicio, usted acepta el uso de cookies. Aprender más