Spørsmål merket [category-theory]

Publisert på 28/06/2017 klokken 15:18
bruker Aravindh S
Publisert på 20/06/2017 klokken 01:30
bruker Ray Tayek
stemmer
5
svar
0
visninger
164
Hva bør en "høyere orden travers" class se ut?
Publisert på 25/05/2017 klokken 18:59
bruker Benjamin Hodgson
Publisert på 23/05/2017 klokken 03:49
bruker George
Publisert på 22/05/2017 klokken 04:05
bruker George
stemmer
1
svar
0
visninger
127
Kan den type `*` betraktes som `ob (Hask)`?
Publisert på 22/05/2017 klokken 02:56
bruker George
Publisert på 22/05/2017 klokken 02:24
bruker George
Publisert på 10/05/2017 klokken 17:53
bruker birrellwalsh
Publisert på 08/05/2017 klokken 15:07
bruker shayan
Publisert på 25/04/2017 klokken 08:51
bruker vidi
Publisert på 05/04/2017 klokken 06:52
bruker 53E3916A
Publisert på 18/03/2017 klokken 10:37
bruker Petr Pudlák
Publisert på 05/02/2017 klokken 17:55
bruker slnowak
stemmer
3
svar
0
visninger
125
Effektiv implementering av Catamorphisms i Scala
Publisert på 30/01/2017 klokken 21:10
bruker NietzscheanAI
Publisert på 26/01/2017 klokken 11:38
bruker Dominique Devriese
stemmer
2
svar
0
visninger
103
FP: Trees - kartet, fold, hver. Hvordan?
Publisert på 19/01/2017 klokken 23:29
bruker Izhaki
Publisert på 13/01/2017 klokken 08:52
bruker azaviruha
Publisert på 12/01/2017 klokken 12:10
bruker azaviruha
Publisert på 10/01/2017 klokken 03:08
bruker Matthew Hampsey
stemmer
3
svar
0
visninger
160
Summen indekserte funktorer
Publisert på 02/01/2017 klokken 04:31
bruker Erik Schnetter
Publisert på 28/12/2016 klokken 08:03
bruker mnish
stemmer
13
svar
0
visninger
352
De faste punkt funktorer av gratis og Cofree
Publisert på 17/12/2016 klokken 19:18
bruker leftaroundabout
stemmer
11
svar
0
visninger
176
Hva ville være metoder for en bi-comonad?
Publisert på 27/11/2016 klokken 23:26
bruker leftaroundabout
Publisert på 21/11/2016 klokken 09:02
bruker user3237465
stemmer
2
svar
0
visninger
101
Parametreres klasse vs Funksjon
Publisert på 20/11/2016 klokken 15:11
bruker Maulik Soneji
stemmer
1
svar
0
visninger
134
Making Data.Map en kontravariante funktor
Publisert på 19/11/2016 klokken 23:54
bruker nponeccop
Publisert på 19/11/2016 klokken 01:36
bruker Alexander Reshytko
Publisert på 10/11/2016 klokken 20:37
bruker chepner
stemmer
3
svar
0
visninger
266
Hvordan forstå Setoid definisjon av kategori?
Publisert på 06/11/2016 klokken 02:20
bruker tinlyx
stemmer
3
svar
0
visninger
118
Applicative eksempel for settene (nestet lister)
Publisert på 10/10/2016 klokken 19:45
bruker ThreeFx
stemmer
4
svar
0
visninger
136
Arrowizing Store comonad
Publisert på 10/10/2016 klokken 15:32
bruker baxbaxwalanuksiwe
stemmer
24
svar
0
visninger
1k
Sammenleggbar, Monoid og Monad
Publisert på 10/10/2016 klokken 05:27
bruker Clinton
stemmer
0
svar
0
visninger
207
Hva er en slags projektor
Publisert på 06/10/2016 klokken 20:42
bruker pedrorijo91
Publisert på 03/10/2016 klokken 13:27
bruker Aaron Lahey
Publisert på 22/09/2016 klokken 21:56
bruker winitzki
stemmer
8
svar
0
visninger
135
Definisjon av hoistfree
Publisert på 14/09/2016 klokken 17:01
bruker stackman
Publisert på 12/09/2016 klokken 20:27
bruker Simon C
stemmer
4
svar
0
visninger
229
Flat lister og gratis monader
Publisert på 10/09/2016 klokken 12:34
bruker stackman
stemmer
0
svar
0
visninger
38
Beregn kategorigrupper med resultater
Publisert på 31/08/2016 klokken 08:37
bruker Nick
Publisert på 31/08/2016 klokken 01:12
bruker Josh.F
stemmer
13
svar
0
visninger
285
Fri gruppe monade
Publisert på 26/08/2016 klokken 08:10
bruker V. Semeria
Publisert på 18/08/2016 klokken 22:18
bruker Josh.F
stemmer
13
svar
0
visninger
189
Naturlig transformasjon fra Reader Bool å kanskje
Publisert på 17/08/2016 klokken 22:13
bruker Josh.F
Publisert på 02/08/2016 klokken 00:45
bruker Reuben
stemmer
13
svar
0
visninger
631
Produkter og biprodukter i Posets
Publisert på 30/07/2016 klokken 12:28
bruker ThreeFx
stemmer
4
svar
0
visninger
375
Inverse av absurd funksjon
Publisert på 24/07/2016 klokken 15:22
bruker ThreeFx
stemmer
11
svar
0
visninger
321
Hva er "vokabular typer", og hvor mange finnes?
Publisert på 20/07/2016 klokken 02:33
bruker Trevor Hickey
Publisert på 16/07/2016 klokken 19:21
bruker Water Cooler v2
Publisert på 13/07/2016 klokken 18:13
bruker Shuheng Zheng
Publisert på 09/07/2016 klokken 15:32
bruker Benjamin Berger
Publisert på 09/07/2016 klokken 11:40
bruker Benjamin Berger




Publisert på 08/07/2016 klokken 17:41
bruker Petr Pudlák
stemmer
15
svar
0
visninger
1k
Hva er forholdet mellom profunctors og bue?
Publisert på 03/07/2016 klokken 11:24
bruker Petr Pudlák
stemmer
5
svar
0
visninger
196
Funktorer i Java
Publisert på 04/06/2016 klokken 13:35
bruker jackb
Publisert på 29/05/2016 klokken 04:51
bruker rapt
Publisert på 21/05/2016 klokken 19:55
bruker George
Publisert på 19/05/2016 klokken 16:08
bruker john mangual
Publisert på 12/05/2016 klokken 22:48
bruker MainstreamDeveloper00
stemmer
2
svar
0
visninger
127
Hva er kanonisk navn for identiteten type?
Publisert på 30/04/2016 klokken 21:14
bruker pathikrit
Publisert på 19/04/2016 klokken 10:35
bruker Henry Story
Publisert på 29/03/2016 klokken 02:31
bruker Chet
stemmer
1
svar
0
visninger
55
Er det en type klasse for Singleton Bruk [A]
Publisert på 08/03/2016 klokken 19:11
bruker pathikrit
stemmer
0
svar
0
visninger
92
Clojure katter føyer null oppførsel
Publisert på 03/03/2016 klokken 11:07
bruker nha
Publisert på 25/02/2016 klokken 15:41
bruker MainstreamDeveloper00
Publisert på 25/02/2016 klokken 01:07
bruker Aaron Shen
Publisert på 15/02/2016 klokken 05:04
bruker Asterisk
Publisert på 26/01/2016 klokken 11:54
bruker arrowd
stemmer
5
svar
0
visninger
171
Gratis monade og drift
Publisert på 03/01/2016 klokken 10:31
bruker nicolas
stemmer
37
svar
0
visninger
482
Eksisterer alltid gratis monade?
Publisert på 02/01/2016 klokken 11:19
bruker n.m.
Publisert på 31/12/2015 klokken 16:42
bruker Bradley Hardy
Publisert på 31/12/2015 klokken 11:29
bruker Sergey Vorobey
Publisert på 21/12/2015 klokken 12:31
bruker ais
Publisert på 08/11/2015 klokken 10:29
bruker Erik Allik
Publisert på 30/10/2015 klokken 16:57
bruker ruben.moor
Publisert på 11/10/2015 klokken 12:38
bruker MaiaVictor
stemmer
0
svar
0
visninger
246
Er Monoid [String] virkelig en Monoid i scala
Publisert på 05/10/2015 klokken 14:56
bruker Jay
Publisert på 04/10/2015 klokken 08:31
bruker Petr Pudlák
Publisert på 30/09/2015 klokken 22:40
bruker John F. Miller
stemmer
2
svar
0
visninger
70
Problemer general funktor
Publisert på 21/09/2015 klokken 12:32
bruker Clinton
Publisert på 21/09/2015 klokken 05:00
bruker Clinton
Publisert på 15/09/2015 klokken 02:53
bruker Lynn
Publisert på 12/09/2015 klokken 16:07
bruker Freewind
Publisert på 03/09/2015 klokken 11:17
bruker Juan
Publisert på 01/09/2015 klokken 04:42
bruker Kamel
Publisert på 31/08/2015 klokken 18:58
bruker Petr Pudlák
Publisert på 27/08/2015 klokken 14:35
bruker Petr Pudlák
stemmer
20
svar
0
visninger
233
Forholdet mellom 'DList` og' [] `med Codensity
Publisert på 24/08/2015 klokken 21:15
bruker raichoo
Publisert på 19/08/2015 klokken 22:07
bruker Lynn
stemmer
0
svar
0
visninger
93
Arrow notasjon i skive kategori
Publisert på 16/08/2015 klokken 04:55
bruker wenlong
stemmer
0
svar
0
visninger
66
Piler i definisjonen av doble av kategori
Publisert på 16/08/2015 klokken 04:45
bruker wenlong
Publisert på 31/07/2015 klokken 20:22
bruker raichoo
stemmer
9
svar
0
visninger
160
Er (\ f -> fmap f id) alltid tilsvarer arr?
Publisert på 24/07/2015 klokken 19:29
bruker Aadit M Shah
stemmer
17
svar
0
visninger
438
Control.Category, hva betyr >>> og <<< mener?
Publisert på 05/07/2015 klokken 08:31
bruker Madhavan Kumar
Publisert på 29/06/2015 klokken 18:25
bruker nclark
stemmer
17
svar
0
visninger
1k
Er det kontravariante monadene?
Publisert på 04/06/2015 klokken 10:32
bruker ZhekaKozlov
Publisert på 30/05/2015 klokken 02:28
bruker Rene Wooller
stemmer
3
svar
0
visninger
96
Bakgrunn på Agda kategorier bibliotek?
Publisert på 24/04/2015 klokken 02:03
bruker user1604015
stemmer
3
svar
0
visninger
208
Gjør notasjon og Monad sammensetning
Publisert på 01/03/2015 klokken 23:31
bruker Pablo Parada
Publisert på 19/01/2015 klokken 01:12
bruker gonzaw
Publisert på 09/01/2015 klokken 09:03
bruker gonzaw
Publisert på 04/01/2015 klokken 23:23
bruker MainstreamDeveloper00




Publisert på 04/01/2015 klokken 00:56
bruker hawkeye
stemmer
1
svar
0
visninger
73
Hva er analog av kategori i programmering
Publisert på 03/01/2015 klokken 06:37
bruker dk14
stemmer
4
svar
0
visninger
178
Generalisering av eksponensiell type
Publisert på 26/12/2014 klokken 17:37
bruker David Harrison
Publisert på 19/12/2014 klokken 10:33
bruker josejuan
stemmer
13
svar
0
visninger
496
Liste basert på riktig Kan forlengelse
Publisert på 09/12/2014 klokken 14:20
bruker Katty J.
stemmer
2
svar
0
visninger
289
Matrix som applicative funktor, som ikke er Monad
Publisert på 08/12/2014 klokken 17:04
bruker Michael
stemmer
16
svar
0
visninger
418
Open Type nivå Bevis i Haskell / Idris
Publisert på 30/11/2014 klokken 23:40
bruker David Harrison
Publisert på 27/11/2014 klokken 13:33
bruker qbeightol
stemmer
10
svar
0
visninger
836
Definere kategorier og kategori Laws i Haskell
Publisert på 21/11/2014 klokken 11:54
bruker mbrodersen
Publisert på 11/11/2014 klokken 22:11
bruker Nathan BeDell
Publisert på 08/10/2014 klokken 18:58
bruker Jonathan Cast
Publisert på 07/10/2014 klokken 06:57
bruker DEAD
Publisert på 04/10/2014 klokken 15:18
bruker jhegedus
stemmer
7
svar
0
visninger
160
Kan to ikke-funktorer komponere en funktor?
Publisert på 21/09/2014 klokken 10:03
bruker Petr Pudlák
stemmer
6
svar
0
visninger
361
Kategorier bibliotek for Agda?
Publisert på 04/09/2014 klokken 07:49
bruker Roly
stemmer
24
svar
0
visninger
510
Arrow uten arr
Publisert på 19/08/2014 klokken 23:50
bruker Dan Burton
stemmer
6
svar
0
visninger
238
Bicategories i Haskell
Publisert på 08/08/2014 klokken 19:16
bruker Bob
Publisert på 31/07/2014 klokken 23:46
bruker Dan Burton
stemmer
1
svar
0
visninger
613
C ++ funktor (mapping)
Publisert på 21/07/2014 klokken 20:59
bruker Maarten
stemmer
8
svar
0
visninger
353
Er Haskell datatyper co-algebraer som standard?
Publisert på 21/07/2014 klokken 15:58
bruker Nathan BeDell
Publisert på 21/07/2014 klokken 02:33
bruker Nathan BeDell
Publisert på 11/07/2014 klokken 19:47
bruker Bob
Publisert på 10/07/2014 klokken 04:06
bruker Cactus
Publisert på 01/07/2014 klokken 17:12
bruker Petr Pudlák
Publisert på 26/06/2014 klokken 20:46
bruker Bob
stemmer
14
svar
0
visninger
801
Er begrepet en "innfelt homomorfi" en real thing?
Publisert på 06/06/2014 klokken 21:17
bruker dflemstr
stemmer
7
svar
0
visninger
835
Gratis applicative i Scala
Publisert på 05/06/2014 klokken 18:00
bruker DEAD
Publisert på 02/06/2014 klokken 17:54
bruker DEAD
stemmer
27
svar
0
visninger
2k
Hva gjør en triviell comonoid se ut?
Publisert på 25/05/2014 klokken 12:04
bruker betaveros
Publisert på 18/05/2014 klokken 16:27
bruker Patrick
Publisert på 15/05/2014 klokken 10:19
bruker kqr
stemmer
8
svar
0
visninger
494
Høyere ordrefunktorer i scala
Publisert på 10/05/2014 klokken 05:28
bruker DEAD
Publisert på 26/04/2014 klokken 20:38
bruker Ben Millwood
stemmer
6
svar
0
visninger
337
"Trans" av funktorer?
Publisert på 23/04/2014 klokken 13:54
bruker Philip Kamenarsky
Publisert på 06/03/2014 klokken 21:02
bruker Lay González
stemmer
6
svar
0
visninger
623
Hvor er funktor i naturlig transformasjon?
Publisert på 18/02/2014 klokken 00:22
bruker user2141650
stemmer
11
svar
0
visninger
686
Hvorfor funktor klassen har no return funksjon?
Publisert på 08/02/2014 klokken 15:12
bruker uhbif19
Publisert på 03/02/2014 klokken 20:25
bruker Rumca
stemmer
5
svar
0
visninger
1k
Omvendt funksjon Komposisjon i Haskell
Publisert på 23/11/2013 klokken 04:04
bruker Aadit M Shah
Publisert på 09/10/2013 klokken 03:29
bruker jberryman
Publisert på 21/09/2013 klokken 02:04
bruker Dev Maha
stemmer
2
svar
0
visninger
99
Decidability av bi-kartesisk lukket kategorier
Publisert på 18/09/2013 klokken 19:11
bruker Ryan Wisnesky
Publisert på 18/09/2013 klokken 11:01
bruker user967722
Publisert på 24/07/2013 klokken 13:06
bruker josejuan
Publisert på 11/07/2013 klokken 10:19
bruker hawkeye
stemmer
23
svar
0
visninger
1k
Hvor kommer verdiene passer i kategori av Hask?
Publisert på 29/06/2013 klokken 12:50
bruker Ankur
Publisert på 29/06/2013 klokken 02:15
bruker smartcaveman
Publisert på 25/06/2013 klokken 20:59
bruker Daniel Velkov
stemmer
4
svar
0
visninger
320
Scala comonads; Comonad lover?
Publisert på 22/06/2013 klokken 03:14
bruker user1888498
stemmer
3
svar
0
visninger
472
Hvordan er anamorphism relatert til objektivet?
Publisert på 19/06/2013 klokken 17:57
bruker nushio




stemmer
10
svar
0
visninger
696
Det er ikke en monade, men hva er det?
Publisert på 10/06/2013 klokken 23:30
bruker Mike Izbicki
stemmer
11
svar
0
visninger
567
Hva er historien bak funktor typen klasse?
Publisert på 02/06/2013 klokken 07:07
bruker Mike Izbicki
stemmer
27
svar
0
visninger
2k
Kan en monade være en comonad?
Publisert på 14/05/2013 klokken 19:52
bruker MathematicalOrchid
stemmer
9
svar
0
visninger
371
Hver monade er monoid?
Publisert på 14/05/2013 klokken 16:30
bruker vinothkr
stemmer
12
svar
0
visninger
699
Hva er dette spesielle funktor struktur kalt?
Publisert på 20/04/2013 klokken 18:10
bruker Péter Diviánszky
Publisert på 15/04/2013 klokken 12:20
bruker missingfaktor
stemmer
9
svar
0
visninger
868
Bruk av semantikk til gratis monader
Publisert på 10/04/2013 klokken 15:34
bruker Vic Smith
Publisert på 31/03/2013 klokken 05:44
bruker Znatz
Publisert på 17/03/2013 klokken 17:40
bruker jpvillaisaza
Publisert på 17/03/2013 klokken 12:40
bruker ocharles
stemmer
2
svar
0
visninger
252
Litt kategoriteori
Publisert på 09/03/2013 klokken 10:09
bruker MathematicalOrchid
stemmer
35
svar
0
visninger
1k
Gjør Hask eller Agda har equalizere?
Publisert på 24/02/2013 klokken 01:44
bruker Ben Millwood
Publisert på 13/02/2013 klokken 11:40
bruker luqui
Publisert på 11/02/2013 klokken 20:20
bruker user142019
stemmer
2
svar
0
visninger
333
Funktorer og frie objekter i Hask
Publisert på 17/01/2013 klokken 20:49
bruker Mike Izbicki
Publisert på 10/01/2013 klokken 15:47
bruker Mozibur Ullah
Publisert på 10/01/2013 klokken 02:34
bruker Mozibur Ullah
stemmer
10
svar
0
visninger
1k
Sammensetning av to funktorer er en funktor
Publisert på 23/12/2012 klokken 21:50
bruker Chris Taylor
Publisert på 20/12/2012 klokken 11:58
bruker Earth Engine
Publisert på 18/12/2012 klokken 16:26
bruker Chris Taylor
stemmer
10
svar
0
visninger
294
Hva betyr nettopp "funksjon inne i en funktor"
Publisert på 06/12/2012 klokken 22:03
bruker Cartesius00
Publisert på 29/11/2012 klokken 12:31
bruker leftaroundabout
stemmer
2
svar
0
visninger
64
Kompleksitet Likeverdighet av kategorier
Publisert på 28/11/2012 klokken 23:03
bruker Ryan Wisnesky
stemmer
6
svar
0
visninger
790
Forstå Sekvensering i funksjonell programmering
Publisert på 13/10/2012 klokken 20:01
bruker Eric
Publisert på 24/09/2012 klokken 19:00
bruker Mike Izbicki
Publisert på 16/09/2012 klokken 22:54
bruker esevelos
Publisert på 22/08/2012 klokken 12:37
bruker amindfv
Publisert på 30/07/2012 klokken 16:44
bruker Mike Izbicki
stemmer
17
svar
0
visninger
814
Høy Bestill ScalaCheck
Publisert på 09/05/2012 klokken 14:19
bruker Hugo Sereno Ferreira
stemmer
1
svar
0
visninger
135
Kontravariante binær operasjon i Scala
Publisert på 30/04/2012 klokken 18:19
bruker NietzscheanAI
Publisert på 16/12/2011 klokken 20:48
bruker missingfaktor
stemmer
46
svar
0
visninger
2k
Hva er en monade i FP, i kategoriske termer?
Publisert på 22/11/2011 klokken 02:55
bruker Kerrek SB
Publisert på 27/09/2011 klokken 15:46
bruker david
Publisert på 28/07/2011 klokken 05:01
bruker Omar Antolín-Camarena
Publisert på 17/07/2011 klokken 06:27
bruker IttayD
Publisert på 22/06/2011 klokken 19:37
bruker modular
stemmer
15
svar
0
visninger
669
Representeres funktor isomorf med (Boolsk -> a)
Publisert på 30/05/2011 klokken 15:08
bruker user2023370
stemmer
1
svar
0
visninger
367
Nonempty er ikke en Comonad?
Publisert på 26/05/2011 klokken 20:21
bruker user2023370
Publisert på 08/05/2011 klokken 23:09
bruker user2023370
Publisert på 20/02/2011 klokken 12:50
bruker barsoap
stemmer
70
svar
0
visninger
4k
Monadene som adjunctions
Publisert på 15/01/2011 klokken 00:31
bruker Bartosz Milewski
Publisert på 06/10/2010 klokken 06:55
bruker Roman A. Taycher
stemmer
15
svar
0
visninger
633
Hva matematisk soner er det i OO programmering?
Publisert på 28/07/2010 klokken 12:44
bruker Tuomas Hietanen
stemmer
29
svar
0
visninger
3k
Er alle Haskell funktorer endofunctors?
Publisert på 17/07/2010 klokken 21:35
bruker Jonathan Sterling
Publisert på 26/06/2010 klokken 20:30
bruker gatoatigrado
Publisert på 24/01/2010 klokken 01:36
bruker Scott Weinstein
stemmer
29
svar
0
visninger
2k
Kan liftM avvike fra liftA?
Publisert på 28/10/2009 klokken 02:34
bruker Doug McClean
stemmer
26
svar
0
visninger
4k
Ressurser for læring kategoriteori
Publisert på 03/08/2009 klokken 20:37
bruker Jørgen Fogh
Publisert på 28/05/2009 klokken 16:51
bruker Fixpoint

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