Perguntas com a tag [category-theory]

Publicado 28/06/2017 em 15:18
usuário Aravindh S
Publicado 20/06/2017 em 01:30
usuário Ray Tayek
Publicado 25/05/2017 em 18:59
usuário Benjamin Hodgson
Publicado 23/05/2017 em 03:49
usuário George
Publicado 22/05/2017 em 04:05
usuário George
votos
1
respostas
2
visitas
126
Pode o tipo `*` ser pensado como `ob (Hask)`?
Publicado 22/05/2017 em 02:56
usuário George
Publicado 22/05/2017 em 02:24
usuário George
Publicado 10/05/2017 em 17:53
usuário birrellwalsh
Publicado 08/05/2017 em 15:07
usuário shayan
Publicado 25/04/2017 em 08:51
usuário vidi
Publicado 05/04/2017 em 06:52
usuário 53E3916A
Publicado 18/03/2017 em 10:37
usuário Petr Pudlák
Publicado 05/02/2017 em 17:55
usuário slnowak
votos
3
respostas
2
visitas
116
A execução eficiente de Catamorphisms em Scala
Publicado 30/01/2017 em 21:10
usuário NietzscheanAI
Publicado 26/01/2017 em 11:38
usuário Dominique Devriese
votos
2
respostas
1
visitas
100
FP: Trees - mapa, vezes, cada. Como?
Publicado 19/01/2017 em 23:29
usuário Izhaki
Publicado 13/01/2017 em 08:52
usuário azaviruha
Publicado 12/01/2017 em 12:10
usuário azaviruha
Publicado 10/01/2017 em 03:08
usuário Matthew Hampsey
votos
3
respostas
1
visitas
157
Soma de functors indexados
Publicado 02/01/2017 em 04:31
usuário Erik Schnetter
Publicado 28/12/2016 em 08:03
usuário mnish
votos
13
respostas
2
visitas
328
Os functors ponto fixo de livre e Cofree
Publicado 17/12/2016 em 19:18
usuário leftaroundabout
votos
11
respostas
1
visitas
169
Quais seriam os métodos de um bi-comonad?
Publicado 27/11/2016 em 23:26
usuário leftaroundabout
votos
6
respostas
1
visitas
104
O que é essa coisa semelhante ao KleisliFunctor?
Publicado 21/11/2016 em 09:02
usuário user3237465
votos
2
respostas
1
visitas
98
Classe parametrizado vs Função
Publicado 20/11/2016 em 15:11
usuário Maulik Soneji
votos
1
respostas
0
visitas
130
Fazendo Data.Map um functor contravariant
Publicado 19/11/2016 em 23:54
usuário nponeccop
Publicado 19/11/2016 em 01:36
usuário Alexander Reshytko
Publicado 10/11/2016 em 20:37
usuário chepner
votos
3
respostas
1
visitas
226
Como entender definição Setoid da categoria?
Publicado 06/11/2016 em 02:20
usuário tinlyx
Publicado 10/10/2016 em 19:45
usuário ThreeFx
votos
4
respostas
1
visitas
122
Arrowizing o comonad loja
Publicado 10/10/2016 em 15:32
usuário baxbaxwalanuksiwe
votos
24
respostas
3
visitas
1k
Dobrável, Monoid e Monad
Publicado 10/10/2016 em 05:27
usuário Clinton
votos
0
respostas
1
visitas
161
O que é um projetor tipo
Publicado 06/10/2016 em 20:42
usuário pedrorijo91
Publicado 03/10/2016 em 13:27
usuário Aaron Lahey
Publicado 22/09/2016 em 21:56
usuário winitzki
votos
8
respostas
1
visitas
134
Definição de hoistfree
Publicado 14/09/2016 em 17:01
usuário stackman
Publicado 12/09/2016 em 20:27
usuário Simon C
votos
3
respostas
1
visitas
220
listas planas e monads gratuitos
Publicado 10/09/2016 em 12:34
usuário stackman
votos
0
respostas
1
visitas
38
Calcular grupos categoria com resultados
Publicado 31/08/2016 em 08:37
usuário Nick
Publicado 31/08/2016 em 01:12
usuário Josh.F
votos
13
respostas
1
visitas
269
mônada grupo livre
Publicado 26/08/2016 em 08:10
usuário V. Semeria
votos
7
respostas
2
visitas
273
É este um exemplo fiel de uma Haskell Retrocesso?
Publicado 18/08/2016 em 22:18
usuário Josh.F
Publicado 17/08/2016 em 22:13
usuário Josh.F
Publicado 02/08/2016 em 00:45
usuário Reuben
votos
13
respostas
1
visitas
550
Produtos e co-produtos em posets
Publicado 30/07/2016 em 12:28
usuário ThreeFx
votos
3
respostas
3
visitas
358
Inverso da função absurdo
Publicado 24/07/2016 em 15:22
usuário ThreeFx
Publicado 20/07/2016 em 02:33
usuário Trevor Hickey
Publicado 16/07/2016 em 19:21
usuário Water Cooler v2
Publicado 13/07/2016 em 18:13
usuário Shuheng Zheng
Publicado 09/07/2016 em 15:32
usuário Benjamin Berger
Publicado 09/07/2016 em 11:40
usuário Benjamin Berger




Publicado 08/07/2016 em 17:41
usuário Petr Pudlák
votos
15
respostas
2
visitas
1k
Qual é a relação entre profunctors e flechas?
Publicado 03/07/2016 em 11:24
usuário Petr Pudlák
votos
5
respostas
3
visitas
182
Functors em Java
Publicado 04/06/2016 em 13:35
usuário jackb
Publicado 29/05/2016 em 04:51
usuário rapt
Publicado 21/05/2016 em 19:55
usuário George
Publicado 19/05/2016 em 16:08
usuário john mangual
Publicado 12/05/2016 em 22:48
usuário MainstreamDeveloper00
votos
2
respostas
1
visitas
113
Qual é o nome canônico para o tipo de identidade?
Publicado 30/04/2016 em 21:14
usuário pathikrit
votos
10
respostas
1
visitas
5k
Por que FMAP mapear cada elemento de uma lista?
Publicado 19/04/2016 em 10:35
usuário Henry Story
Publicado 29/03/2016 em 02:31
usuário Chet
votos
1
respostas
0
visitas
55
Existe uma classe tipo para Singleton Aplicar [A]
Publicado 08/03/2016 em 19:11
usuário pathikrit
votos
0
respostas
1
visitas
91
Clojure gatos anexar comportamento nil
Publicado 03/03/2016 em 11:07
usuário nha
Publicado 25/02/2016 em 15:41
usuário MainstreamDeveloper00
Publicado 25/02/2016 em 01:07
usuário Aaron Shen
Publicado 15/02/2016 em 05:04
usuário Asterisk
Publicado 26/01/2016 em 11:54
usuário arrowd
votos
5
respostas
2
visitas
168
mônada livre ea operação livre
Publicado 03/01/2016 em 10:31
usuário nicolas
votos
37
respostas
2
visitas
472
Será que a Mônada livre sempre existe?
Publicado 02/01/2016 em 11:19
usuário n.m.
Publicado 31/12/2015 em 16:42
usuário Bradley Hardy
Publicado 31/12/2015 em 11:29
usuário Sergey Vorobey
Publicado 21/12/2015 em 12:31
usuário ais
Publicado 08/11/2015 em 10:29
usuário Erik Allik
Publicado 30/10/2015 em 16:57
usuário ruben.moor
Publicado 11/10/2015 em 12:38
usuário MaiaVictor
votos
0
respostas
1
visitas
237
É Monoid [String] realmente um Monoid em scala
Publicado 05/10/2015 em 14:56
usuário Jay
Publicado 04/10/2015 em 08:31
usuário Petr Pudlák
Publicado 30/09/2015 em 22:40
usuário John F. Miller
votos
2
respostas
1
visitas
70
Questões Generalizar Functor
Publicado 21/09/2015 em 12:32
usuário Clinton
Publicado 21/09/2015 em 05:00
usuário Clinton
Publicado 15/09/2015 em 02:53
usuário Lynn
Publicado 12/09/2015 em 16:07
usuário Freewind
Publicado 03/09/2015 em 11:17
usuário Juan
Publicado 01/09/2015 em 04:42
usuário Kamel
Publicado 31/08/2015 em 18:58
usuário Petr Pudlák
Publicado 27/08/2015 em 14:35
usuário Petr Pudlák
votos
20
respostas
2
visitas
224
Relação entre `DList` e` [] `com Codensity
Publicado 24/08/2015 em 21:15
usuário raichoo
Publicado 19/08/2015 em 22:07
usuário Lynn
votos
0
respostas
1
visitas
88
Arrow notação na categoria fatia
Publicado 16/08/2015 em 04:55
usuário wenlong
votos
0
respostas
1
visitas
66
Setas na definição de dual da categoria
Publicado 16/08/2015 em 04:45
usuário wenlong
Publicado 31/07/2015 em 20:22
usuário raichoo
votos
9
respostas
2
visitas
160
É (\ f -> fmap f id) sempre equivalente ao arr?
Publicado 24/07/2015 em 19:29
usuário Aadit M Shah
votos
16
respostas
1
visitas
409
Control.Category, o que faz >>> e <<< significa?
Publicado 05/07/2015 em 08:31
usuário Madhavan Kumar
Publicado 29/06/2015 em 18:25
usuário nclark
votos
16
respostas
2
visitas
1k
Há contravariantes mônadas?
Publicado 04/06/2015 em 10:32
usuário ZhekaKozlov
Publicado 30/05/2015 em 02:28
usuário Rene Wooller
votos
3
respostas
0
visitas
95
Antecedentes sobre Agda Categorias biblioteca?
Publicado 24/04/2015 em 02:03
usuário user1604015
votos
3
respostas
2
visitas
198
Faça notação e composição Monad
Publicado 01/03/2015 em 23:31
usuário Pablo Parada
Publicado 19/01/2015 em 01:12
usuário gonzaw
Publicado 09/01/2015 em 09:03
usuário gonzaw
Publicado 04/01/2015 em 23:23
usuário MainstreamDeveloper00




Publicado 04/01/2015 em 00:56
usuário hawkeye
votos
1
respostas
1
visitas
73
O que é o análogo da Categoria na programação
Publicado 03/01/2015 em 06:37
usuário dk14
votos
4
respostas
1
visitas
158
Generalização do tipo exponencial
Publicado 26/12/2014 em 17:37
usuário David Harrison
Publicado 19/12/2014 em 10:33
usuário josejuan
votos
13
respostas
2
visitas
462
Lista com base na extensão Kan direita
Publicado 09/12/2014 em 14:20
usuário Katty J.
votos
2
respostas
1
visitas
263
Matrix como Applicative functor, que não é Monad
Publicado 08/12/2014 em 17:04
usuário Michael
votos
15
respostas
1
visitas
367
Provas Tipo Open Nível em Haskell / Idris
Publicado 30/11/2014 em 23:40
usuário David Harrison
Publicado 27/11/2014 em 13:33
usuário qbeightol
votos
10
respostas
1
visitas
822
Definindo Categorias e Leis Categoria em Haskell
Publicado 21/11/2014 em 11:54
usuário mbrodersen
Publicado 11/11/2014 em 22:11
usuário Nathan BeDell
Publicado 08/10/2014 em 19:58
usuário Jonathan Cast
votos
2
respostas
1
visitas
183
Digite igualdade na kleisli ordem superior (Scala)
Publicado 07/10/2014 em 07:57
usuário DEAD
Publicado 04/10/2014 em 16:18
usuário jhegedus
votos
7
respostas
2
visitas
157
Podem dois não-functors compor a um functor?
Publicado 21/09/2014 em 11:03
usuário Petr Pudlák
votos
6
respostas
1
visitas
343
Categorias biblioteca para Agda?
Publicado 04/09/2014 em 08:49
usuário Roly
votos
24
respostas
1
visitas
501
Arrow sem arr
Publicado 20/08/2014 em 00:50
usuário Dan Burton
votos
6
respostas
1
visitas
236
Bicategories em Haskell
Publicado 08/08/2014 em 20:16
usuário Bob
Publicado 01/08/2014 em 00:46
usuário Dan Burton
votos
1
respostas
1
visitas
584
functor C ++ (mapeamento)
Publicado 21/07/2014 em 21:59
usuário Maarten
Publicado 21/07/2014 em 16:58
usuário Nathan BeDell
Publicado 21/07/2014 em 03:33
usuário Nathan BeDell
Publicado 11/07/2014 em 20:47
usuário Bob
Publicado 10/07/2014 em 05:06
usuário Cactus
Publicado 01/07/2014 em 18:12
usuário Petr Pudlák
votos
5
respostas
2
visitas
389
Combinando a Mônada estado com o comonad costate
Publicado 26/06/2014 em 21:46
usuário Bob
Publicado 06/06/2014 em 22:17
usuário dflemstr
votos
7
respostas
1
visitas
810
Applicative livre no Scala
Publicado 05/06/2014 em 19:00
usuário DEAD
Publicado 02/06/2014 em 18:54
usuário DEAD
votos
27
respostas
3
visitas
2k
O que faz um comonoid não trivial parece?
Publicado 25/05/2014 em 13:04
usuário betaveros
Publicado 18/05/2014 em 17:27
usuário Patrick
Publicado 15/05/2014 em 11:19
usuário kqr
votos
8
respostas
2
visitas
487
Functores de ordem superior em scala
Publicado 10/05/2014 em 06:28
usuário DEAD
Publicado 26/04/2014 em 21:38
usuário Ben Millwood
votos
6
respostas
4
visitas
333
"Transposição" de functors?
Publicado 23/04/2014 em 14:54
usuário Philip Kamenarsky
Publicado 06/03/2014 em 22:02
usuário Lay González
votos
6
respostas
1
visitas
607
Onde está o functor na transformação natural?
Publicado 18/02/2014 em 01:22
usuário user2141650
Publicado 08/02/2014 em 16:12
usuário uhbif19
Publicado 03/02/2014 em 21:25
usuário Rumca
votos
5
respostas
1
visitas
1k
Composição função inversa em Haskell
Publicado 23/11/2013 em 05:04
usuário Aadit M Shah
Publicado 09/10/2013 em 04:29
usuário jberryman
Publicado 21/09/2013 em 03:04
usuário Dev Maha
Publicado 18/09/2013 em 20:11
usuário Ryan Wisnesky
Publicado 18/09/2013 em 12:01
usuário user967722
Publicado 24/07/2013 em 14:06
usuário josejuan
Publicado 11/07/2013 em 11:19
usuário hawkeye
Publicado 29/06/2013 em 13:50
usuário Ankur
Publicado 29/06/2013 em 03:15
usuário smartcaveman
Publicado 25/06/2013 em 21:59
usuário Daniel Velkov
votos
4
respostas
1
visitas
317
comonads Scala; leis Comonad?
Publicado 22/06/2013 em 04:14
usuário user1888498
votos
3
respostas
1
visitas
465
Como é anamorphism relacionadas com lente?
Publicado 19/06/2013 em 18:57
usuário nushio




votos
10
respostas
1
visitas
696
Não é uma mônada, mas o que é?
Publicado 11/06/2013 em 00:30
usuário Mike Izbicki
Publicado 02/06/2013 em 08:07
usuário Mike Izbicki
votos
27
respostas
5
visitas
2k
Pode uma mônada ser um comonad?
Publicado 14/05/2013 em 20:52
usuário MathematicalOrchid
votos
9
respostas
1
visitas
368
Cada mônada é monoid?
Publicado 14/05/2013 em 17:30
usuário vinothkr
votos
12
respostas
1
visitas
694
O que é esta estrutura especial functor chamado?
Publicado 20/04/2013 em 19:10
usuário Péter Diviánszky
Publicado 15/04/2013 em 13:20
usuário missingfaktor
votos
9
respostas
2
visitas
860
Aplicando Semântica para Monads grátis
Publicado 10/04/2013 em 16:34
usuário Vic Smith
Publicado 31/03/2013 em 06:44
usuário Znatz
Publicado 17/03/2013 em 18:40
usuário jpvillaisaza
Publicado 17/03/2013 em 13:40
usuário ocharles
votos
2
respostas
0
visitas
242
A teoria da categoria pouco
Publicado 09/03/2013 em 11:09
usuário MathematicalOrchid
votos
35
respostas
2
visitas
1k
Fazer Hask ou Agda tem equalizadores?
Publicado 24/02/2013 em 02:44
usuário Ben Millwood
Publicado 13/02/2013 em 12:40
usuário luqui
Publicado 11/02/2013 em 21:20
usuário user142019
votos
2
respostas
1
visitas
327
Functors e objectos livres em Hask
Publicado 17/01/2013 em 21:49
usuário Mike Izbicki
Publicado 10/01/2013 em 16:47
usuário Mozibur Ullah
Publicado 10/01/2013 em 03:34
usuário Mozibur Ullah
votos
10
respostas
1
visitas
1k
Composição de dois functors é um functor
Publicado 23/12/2012 em 22:50
usuário Chris Taylor
Publicado 20/12/2012 em 12:58
usuário Earth Engine
Publicado 18/12/2012 em 17:26
usuário Chris Taylor
Publicado 06/12/2012 em 23:03
usuário Cartesius00
Publicado 29/11/2012 em 13:31
usuário leftaroundabout
votos
2
respostas
0
visitas
64
Complexidade de Equivalência de categorias
Publicado 29/11/2012 em 00:03
usuário Ryan Wisnesky
votos
6
respostas
1
visitas
759
Compreender Sequencing na programação funcional
Publicado 13/10/2012 em 21:01
usuário Eric
Publicado 24/09/2012 em 20:00
usuário Mike Izbicki
Publicado 16/09/2012 em 23:54
usuário esevelos
votos
4
respostas
3
visitas
253
leis mônada satisfatórios sem um construtor tipo
Publicado 22/08/2012 em 13:37
usuário amindfv
Publicado 30/07/2012 em 17:44
usuário Mike Izbicki
votos
17
respostas
1
visitas
810
Alta ordem ScalaCheck
Publicado 09/05/2012 em 15:19
usuário Hugo Sereno Ferreira
votos
1
respostas
1
visitas
134
operações binárias contravariantes em Scala
Publicado 30/04/2012 em 19:19
usuário NietzscheanAI
Publicado 16/12/2011 em 21:48
usuário missingfaktor
votos
46
respostas
8
visitas
2k
O que é uma mônada na FP, em termos categóricos?
Publicado 22/11/2011 em 03:55
usuário Kerrek SB
Publicado 27/09/2011 em 16:46
usuário david
Publicado 28/07/2011 em 06:01
usuário Omar Antolín-Camarena
Publicado 17/07/2011 em 07:27
usuário IttayD
Publicado 22/06/2011 em 20:37
usuário modular
votos
15
respostas
1
visitas
649
Representável Functor isomorfo a (Bool -> a)
Publicado 30/05/2011 em 16:08
usuário user2023370
votos
1
respostas
1
visitas
362
NonEmpty não é um Comonad?
Publicado 26/05/2011 em 21:21
usuário user2023370
Publicado 09/05/2011 em 00:09
usuário user2023370
Publicado 20/02/2011 em 13:50
usuário barsoap
votos
70
respostas
5
visitas
4k
Mônadas como adjunções
Publicado 15/01/2011 em 01:31
usuário Bartosz Milewski
Publicado 06/10/2010 em 07:55
usuário Roman A. Taycher
Publicado 28/07/2010 em 13:44
usuário Tuomas Hietanen
votos
29
respostas
3
visitas
3k
São todos os functores endofunctors Haskell?
Publicado 17/07/2010 em 22:35
usuário Jonathan Sterling
Publicado 26/06/2010 em 21:30
usuário gatoatigrado
votos
11
respostas
3
visitas
507
Exemplos de interfaces duplos úteis ou não-trival
Publicado 24/01/2010 em 02:36
usuário Scott Weinstein
votos
29
respostas
2
visitas
2k
Pode liftM diferem de Lifta?
Publicado 28/10/2009 em 03:34
usuário Doug McClean
votos
26
respostas
2
visitas
4k
Recursos para teoria da categoria de aprendizagem
Publicado 03/08/2009 em 21:37
usuário Jørgen Fogh
Publicado 28/05/2009 em 17:51
usuário Fixpoint

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