Questions avec tag [category-theory]

Créé 28/05/2009 à 17:51
utilisateur Fixpoint
Créé 03/08/2009 à 21:37
utilisateur Jørgen Fogh
voix
29
réponses
2
visites
2k
Peut liftM différer Lifta?
Créé 28/10/2009 à 03:34
utilisateur Doug McClean
Créé 24/01/2010 à 02:36
utilisateur Scott Weinstein
Créé 26/06/2010 à 21:30
utilisateur gatoatigrado
voix
29
réponses
3
visites
3k
Sont tous Haskell foncteurs endofunctors?
Créé 17/07/2010 à 22:35
utilisateur Jonathan Sterling
Créé 28/07/2010 à 13:44
utilisateur Tuomas Hietanen
Créé 06/10/2010 à 07:55
utilisateur Roman A. Taycher
voix
70
réponses
5
visites
4k
Monades comme adjonctions
Créé 15/01/2011 à 01:31
utilisateur Bartosz Milewski
Créé 20/02/2011 à 13:50
utilisateur barsoap
Créé 09/05/2011 à 00:09
utilisateur user2023370
voix
1
réponses
1
visites
362
NonEmpty n'est pas un Comonad?
Créé 26/05/2011 à 21:21
utilisateur user2023370
voix
15
réponses
1
visites
649
Représentable Functor isomorphe à (Bool -> a)
Créé 30/05/2011 à 16:08
utilisateur user2023370
Créé 22/06/2011 à 20:37
utilisateur modular
Créé 17/07/2011 à 07:27
utilisateur IttayD
Créé 28/07/2011 à 06:01
utilisateur Omar Antolín-Camarena
Créé 27/09/2011 à 16:46
utilisateur david
Créé 22/11/2011 à 03:55
utilisateur Kerrek SB
Créé 16/12/2011 à 21:48
utilisateur missingfaktor
voix
1
réponses
1
visites
134
opérations binaires contravariants à Scala
Créé 30/04/2012 à 19:19
utilisateur NietzscheanAI
voix
17
réponses
1
visites
810
Ordre élevé ScalaCheck
Créé 09/05/2012 à 15:19
utilisateur Hugo Sereno Ferreira
Créé 30/07/2012 à 17:44
utilisateur Mike Izbicki
Créé 22/08/2012 à 13:37
utilisateur amindfv
Créé 16/09/2012 à 23:54
utilisateur esevelos
Créé 24/09/2012 à 20:00
utilisateur Mike Izbicki
Créé 13/10/2012 à 21:01
utilisateur Eric
voix
2
réponses
0
visites
64
La complexité de l'équivalence des catégories
Créé 29/11/2012 à 00:03
utilisateur Ryan Wisnesky
Créé 29/11/2012 à 13:31
utilisateur leftaroundabout
Créé 06/12/2012 à 23:03
utilisateur Cartesius00
Créé 18/12/2012 à 17:26
utilisateur Chris Taylor
Créé 20/12/2012 à 12:58
utilisateur Earth Engine
voix
10
réponses
1
visites
1k
Composition de deux foncteurs est un foncteur
Créé 23/12/2012 à 22:50
utilisateur Chris Taylor
Créé 10/01/2013 à 03:34
utilisateur Mozibur Ullah
Créé 10/01/2013 à 16:47
utilisateur Mozibur Ullah
voix
2
réponses
1
visites
327
Foncteurs et objets libres dans Hask
Créé 17/01/2013 à 21:49
utilisateur Mike Izbicki
Créé 11/02/2013 à 21:20
utilisateur user142019
Créé 13/02/2013 à 12:40
utilisateur luqui
voix
35
réponses
2
visites
1k
Faites Hask ou Agda ont égaliseurs?
Créé 24/02/2013 à 02:44
utilisateur Ben Millwood
voix
2
réponses
0
visites
242
Une théorie peu de catégorie
Créé 09/03/2013 à 11:09
utilisateur MathematicalOrchid
Créé 17/03/2013 à 13:40
utilisateur ocharles
Créé 17/03/2013 à 18:40
utilisateur jpvillaisaza
Créé 31/03/2013 à 06:44
utilisateur Znatz
voix
9
réponses
2
visites
860
L'application Sémantique pour libérer Monades
Créé 10/04/2013 à 16:34
utilisateur Vic Smith
Créé 15/04/2013 à 13:20
utilisateur missingfaktor
Créé 20/04/2013 à 19:10
utilisateur Péter Diviánszky
voix
9
réponses
1
visites
368
Chaque monade est monoid?
Créé 14/05/2013 à 17:30
utilisateur vinothkr
voix
27
réponses
5
visites
2k
une monade peut être un comonad?
Créé 14/05/2013 à 20:52
utilisateur MathematicalOrchid
Créé 02/06/2013 à 08:07
utilisateur Mike Izbicki
voix
10
réponses
1
visites
696
Ce n'est pas une monade, mais quel est-il?
Créé 11/06/2013 à 00:30
utilisateur Mike Izbicki
voix
3
réponses
1
visites
465
Comment est anamorphisme liée à l'objectif?
Créé 19/06/2013 à 18:57
utilisateur nushio
voix
4
réponses
1
visites
317
Scala comonads; lois Comonad?
Créé 22/06/2013 à 04:14
utilisateur user1888498




Créé 25/06/2013 à 21:59
utilisateur Daniel Velkov
Créé 29/06/2013 à 03:15
utilisateur smartcaveman
Créé 29/06/2013 à 13:50
utilisateur Ankur
Créé 11/07/2013 à 11:19
utilisateur hawkeye
Créé 24/07/2013 à 14:06
utilisateur josejuan
Créé 18/09/2013 à 12:01
utilisateur user967722
Créé 18/09/2013 à 20:11
utilisateur Ryan Wisnesky
Créé 21/09/2013 à 03:04
utilisateur Dev Maha
Créé 09/10/2013 à 04:29
utilisateur jberryman
voix
5
réponses
1
visites
1k
Composition de la fonction inverse Haskell
Créé 23/11/2013 à 05:04
utilisateur Aadit M Shah
Créé 03/02/2014 à 21:25
utilisateur Rumca
Créé 08/02/2014 à 16:12
utilisateur uhbif19
Créé 18/02/2014 à 01:22
utilisateur user2141650
Créé 06/03/2014 à 22:02
utilisateur Lay González
voix
6
réponses
4
visites
333
« Transposition » de foncteurs?
Créé 23/04/2014 à 14:54
utilisateur Philip Kamenarsky
Créé 26/04/2014 à 21:38
utilisateur Ben Millwood
voix
8
réponses
2
visites
487
La hausse Foncteurs d'ordre dans scala
Créé 10/05/2014 à 06:28
utilisateur DEAD
Créé 15/05/2014 à 11:19
utilisateur kqr
Créé 18/05/2014 à 17:27
utilisateur Patrick
voix
27
réponses
3
visites
2k
Qu'est-ce qu'un comonoid nonbanal ressemble?
Créé 25/05/2014 à 13:04
utilisateur betaveros
Créé 02/06/2014 à 18:54
utilisateur DEAD
voix
7
réponses
1
visites
810
Applicative gratuit à Scala
Créé 05/06/2014 à 19:00
utilisateur DEAD
Créé 06/06/2014 à 22:17
utilisateur dflemstr
Créé 26/06/2014 à 21:46
utilisateur Bob
Créé 01/07/2014 à 18:12
utilisateur Petr Pudlák
Créé 10/07/2014 à 05:06
utilisateur Cactus
Créé 11/07/2014 à 20:47
utilisateur Bob
Créé 21/07/2014 à 03:33
utilisateur Nathan BeDell
Créé 21/07/2014 à 16:58
utilisateur Nathan BeDell
voix
1
réponses
1
visites
584
Le foncteur C de (cartographie)
Créé 21/07/2014 à 21:59
utilisateur Maarten
Créé 01/08/2014 à 00:46
utilisateur Dan Burton
voix
6
réponses
1
visites
236
Bicategories à Haskell
Créé 08/08/2014 à 20:16
utilisateur Bob
voix
24
réponses
1
visites
501
Flèche sans arr
Créé 20/08/2014 à 00:50
utilisateur Dan Burton
voix
6
réponses
1
visites
343
Catégories bibliothèque Agda?
Créé 04/09/2014 à 08:49
utilisateur Roly
voix
7
réponses
2
visites
157
Peut deux composer non-foncteurs à un foncteur?
Créé 21/09/2014 à 11:03
utilisateur Petr Pudlák
Créé 04/10/2014 à 16:18
utilisateur jhegedus
Créé 07/10/2014 à 07:57
utilisateur DEAD
Créé 08/10/2014 à 19:58
utilisateur Jonathan Cast
Créé 11/11/2014 à 22:11
utilisateur Nathan BeDell
Créé 21/11/2014 à 11:54
utilisateur mbrodersen
Créé 27/11/2014 à 13:33
utilisateur qbeightol
voix
15
réponses
1
visites
367
Open Type Niveau à Haskell Proofs / Idris
Créé 30/11/2014 à 23:40
utilisateur David Harrison
Créé 08/12/2014 à 17:04
utilisateur Michael
voix
13
réponses
2
visites
462
Liste basée sur l'extension Kan droit
Créé 09/12/2014 à 14:20
utilisateur Katty J.
Créé 19/12/2014 à 10:33
utilisateur josejuan
voix
4
réponses
1
visites
158
Généralisation de type Exponentielle
Créé 26/12/2014 à 17:37
utilisateur David Harrison
Créé 03/01/2015 à 06:37
utilisateur dk14
Créé 04/01/2015 à 00:56
utilisateur hawkeye
Créé 04/01/2015 à 23:23
utilisateur MainstreamDeveloper00
Créé 09/01/2015 à 09:03
utilisateur gonzaw




Créé 19/01/2015 à 01:12
utilisateur gonzaw
voix
3
réponses
2
visites
198
Faites la notation et de la composition Monad
Créé 01/03/2015 à 23:31
utilisateur Pablo Parada
Créé 24/04/2015 à 02:03
utilisateur user1604015
Créé 30/05/2015 à 02:28
utilisateur Rene Wooller
voix
16
réponses
2
visites
1k
Y at-il contravariants monades?
Créé 04/06/2015 à 10:32
utilisateur ZhekaKozlov
Créé 29/06/2015 à 18:25
utilisateur nclark
Créé 05/07/2015 à 08:31
utilisateur Madhavan Kumar
Créé 24/07/2015 à 19:29
utilisateur Aadit M Shah
Créé 31/07/2015 à 20:22
utilisateur raichoo
Créé 16/08/2015 à 04:45
utilisateur wenlong
voix
0
réponses
1
visites
88
Flèche notation dans la catégorie de tranche
Créé 16/08/2015 à 04:55
utilisateur wenlong
Créé 19/08/2015 à 22:07
utilisateur Lynn
voix
20
réponses
2
visites
224
Relation entre `` DList` et [] `avec Codensity
Créé 24/08/2015 à 21:15
utilisateur raichoo
Créé 27/08/2015 à 14:35
utilisateur Petr Pudlák
Créé 31/08/2015 à 18:58
utilisateur Petr Pudlák
Créé 01/09/2015 à 04:42
utilisateur Kamel
Créé 03/09/2015 à 11:17
utilisateur Juan
Créé 12/09/2015 à 16:07
utilisateur Freewind
Créé 15/09/2015 à 02:53
utilisateur Lynn
Créé 21/09/2015 à 05:00
utilisateur Clinton
voix
2
réponses
1
visites
70
Questions Généraliser Functor
Créé 21/09/2015 à 12:32
utilisateur Clinton
Créé 30/09/2015 à 22:40
utilisateur John F. Miller
Créé 04/10/2015 à 08:31
utilisateur Petr Pudlák
Créé 05/10/2015 à 14:56
utilisateur Jay
Créé 11/10/2015 à 12:38
utilisateur MaiaVictor
Créé 30/10/2015 à 16:57
utilisateur ruben.moor
Créé 08/11/2015 à 10:29
utilisateur Erik Allik
Créé 21/12/2015 à 12:31
utilisateur ais
Créé 31/12/2015 à 11:29
utilisateur Sergey Vorobey
Créé 31/12/2015 à 16:42
utilisateur Bradley Hardy
voix
37
réponses
2
visites
472
La monade libre existe toujours?
Créé 02/01/2016 à 11:19
utilisateur n.m.
voix
5
réponses
2
visites
168
monade libre et le libre
Créé 03/01/2016 à 10:31
utilisateur nicolas
Créé 26/01/2016 à 11:54
utilisateur arrowd
Créé 15/02/2016 à 05:04
utilisateur Asterisk
Créé 25/02/2016 à 01:07
utilisateur Aaron Shen
Créé 25/02/2016 à 15:41
utilisateur MainstreamDeveloper00
voix
0
réponses
1
visites
91
chats Clojure append comportement nul
Créé 03/03/2016 à 11:07
utilisateur nha
Créé 08/03/2016 à 19:11
utilisateur pathikrit
Créé 29/03/2016 à 02:31
utilisateur Chet
Créé 19/04/2016 à 10:35
utilisateur Henry Story
Créé 30/04/2016 à 21:14
utilisateur pathikrit
Créé 12/05/2016 à 22:48
utilisateur MainstreamDeveloper00
Créé 19/05/2016 à 16:08
utilisateur john mangual
Créé 21/05/2016 à 19:55
utilisateur George
Créé 29/05/2016 à 04:51
utilisateur rapt
voix
5
réponses
3
visites
182
Foncteurs en Java
Créé 04/06/2016 à 13:35
utilisateur jackb
Créé 03/07/2016 à 11:24
utilisateur Petr Pudlák
Créé 08/07/2016 à 17:41
utilisateur Petr Pudlák
Créé 09/07/2016 à 11:40
utilisateur Benjamin Berger
Créé 09/07/2016 à 15:32
utilisateur Benjamin Berger




Créé 13/07/2016 à 18:13
utilisateur Shuheng Zheng
Créé 16/07/2016 à 19:21
utilisateur Water Cooler v2
Créé 20/07/2016 à 02:33
utilisateur Trevor Hickey
voix
3
réponses
3
visites
358
Inverse de la fonction absurde
Créé 24/07/2016 à 15:22
utilisateur ThreeFx
voix
13
réponses
1
visites
550
Produits et coproduits dans posets
Créé 30/07/2016 à 12:28
utilisateur ThreeFx
Créé 02/08/2016 à 00:45
utilisateur Reuben
Créé 17/08/2016 à 22:13
utilisateur Josh.F
voix
7
réponses
2
visites
273
Est-ce un exemple précis d'un Haskell Pullback?
Créé 18/08/2016 à 22:18
utilisateur Josh.F
voix
13
réponses
1
visites
269
groupe libre monade
Créé 26/08/2016 à 08:10
utilisateur V. Semeria
Créé 31/08/2016 à 01:12
utilisateur Josh.F
Créé 31/08/2016 à 08:37
utilisateur Nick
voix
3
réponses
1
visites
220
listes plates et monades libres
Créé 10/09/2016 à 12:34
utilisateur stackman
Créé 12/09/2016 à 20:27
utilisateur Simon C
voix
8
réponses
1
visites
134
Définition de hoistfree
Créé 14/09/2016 à 17:01
utilisateur stackman
voix
16
réponses
1
visites
442
Est-ce bien d'un foncteur plus fort qu'un monade?
Créé 22/09/2016 à 21:56
utilisateur winitzki
Créé 03/10/2016 à 13:27
utilisateur Aaron Lahey
voix
0
réponses
1
visites
161
Qu'est-ce qu'un projecteur type
Créé 06/10/2016 à 20:42
utilisateur pedrorijo91
voix
24
réponses
3
visites
1k
Pliable, Monoid et Monad
Créé 10/10/2016 à 05:27
utilisateur Clinton
voix
4
réponses
1
visites
122
Arrowizing le magasin comonad
Créé 10/10/2016 à 15:32
utilisateur baxbaxwalanuksiwe
Créé 10/10/2016 à 19:45
utilisateur ThreeFx
Créé 06/11/2016 à 02:20
utilisateur tinlyx
Créé 10/11/2016 à 20:37
utilisateur chepner
Créé 19/11/2016 à 01:36
utilisateur Alexander Reshytko
voix
1
réponses
0
visites
130
Faire Data.Map un foncteur contravariant
Créé 19/11/2016 à 23:54
utilisateur nponeccop
voix
2
réponses
1
visites
98
Classe paramétrés vs Fonction
Créé 20/11/2016 à 15:11
utilisateur Maulik Soneji
Créé 21/11/2016 à 09:02
utilisateur user3237465
voix
11
réponses
1
visites
169
Quelles seraient les méthodes d'un bi-comonad?
Créé 27/11/2016 à 23:26
utilisateur leftaroundabout
voix
13
réponses
2
visites
328
Les foncteurs de points fixes de Free et colibre
Créé 17/12/2016 à 19:18
utilisateur leftaroundabout
Créé 28/12/2016 à 08:03
utilisateur mnish
voix
3
réponses
1
visites
157
Somme des foncteurs indexées
Créé 02/01/2017 à 04:31
utilisateur Erik Schnetter
Créé 10/01/2017 à 03:08
utilisateur Matthew Hampsey
Créé 12/01/2017 à 12:10
utilisateur azaviruha
Créé 13/01/2017 à 08:52
utilisateur azaviruha
voix
2
réponses
1
visites
100
FP: Arbres - carte, pli, chacun. Comment?
Créé 19/01/2017 à 23:29
utilisateur Izhaki
Créé 26/01/2017 à 11:38
utilisateur Dominique Devriese
Créé 30/01/2017 à 21:10
utilisateur NietzscheanAI
Créé 05/02/2017 à 17:55
utilisateur slnowak
Créé 18/03/2017 à 10:37
utilisateur Petr Pudlák
Créé 05/04/2017 à 06:52
utilisateur 53E3916A
Créé 25/04/2017 à 08:51
utilisateur vidi
Créé 08/05/2017 à 15:07
utilisateur shayan
Créé 10/05/2017 à 17:53
utilisateur birrellwalsh
Créé 22/05/2017 à 02:24
utilisateur George
Créé 22/05/2017 à 02:56
utilisateur George
Créé 22/05/2017 à 04:05
utilisateur George
Créé 23/05/2017 à 03:49
utilisateur George
Créé 25/05/2017 à 18:59
utilisateur Benjamin Hodgson
Créé 20/06/2017 à 01:30
utilisateur Ray Tayek
Créé 28/06/2017 à 15:18
utilisateur Aravindh S

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