Questions programmation category-theory

Score Aff Date
Photo de user2023370

19

1 Rép
1140 Aff

Haskell : En quoi joindre est une transformation naturelle ?

Résolu
Demandé el 8 de Mai, 2011 par user2023370
Etiquettes :
Avatar de Vlad Patryshev

2

1 Rép
259 Aff

Quelle est la définition théorique d'une fonction en Haskell ?

Résolu
Demandé el 2 de Juillet, 2018 par Vlad Patryshev
Etiquettes :
Photo de Chris Taylor

10

1 Rép
1728 Aff

La composition de deux foncteurs est un foncteur

Résolu
Demandé el 23 de Décembre, 2012 par Chris Taylor
Etiquettes :
Photo de Jørgen Fogh

30

3 Rép
4513 Aff

Ressources pour apprendre la théorie des catégories

Résolu
Demandé el 3 de Août, 2009 par Jørgen Fogh
Etiquettes :
Photo de Doug McClean

30

2 Rép
1214 Aff

L'ascenseurM peut-il être différent de l'ascenseurA ?

Résolu
Demandé el 28 de Octobre, 2009 par Doug McClean
Etiquettes :
Avatar de Chris Taylor

36

3 Rép
952 Aff

Quelles sont les paires de foncteurs adjoints correspondant aux monades communes en Haskell ?

Résolu
Demandé el 18 de Décembre, 2012 par Chris Taylor
Etiquettes :
Avatar de Cactus

38

3 Rép
1780 Aff

Les flèches sont exactement équivalentes aux foncteurs applicatifs ?

Résolu
Demandé el 10 de Juillet, 2014 par Cactus
Etiquettes :
Photo de Ben Millwood

36

2 Rép
1033 Aff

Ne Hask ou Agda ont égaliseurs?

Résolu
Demandé el 24 de Février, 2013 par Ben Millwood
Etiquettes :
Photo de n.m.

38

2 Rép
395 Aff

Ne la gratuit monade existent toujours?

Ouvert
Demandé el 2 de Janvier, 2016 par n.m.
Etiquettes :
Photo de Kerrek SB

49

5 Rép
1972 Aff

Qu'est-ce qu'une monade en PF, en termes catégoriques?

Résolu
Demandé el 22 de Novembre, 2011 par Kerrek SB
Etiquettes :
Avatar de Znatz

50

1 Rép
2006 Aff

Des exemples simples pour illustrer Category, Monoid et Monad?

Résolu
Demandé el 31 de Mars, 2013 par Znatz
Etiquettes :
Avatar de Bartosz Milewski

77

5 Rép
2377 Aff

Monades comme adjonctions

Résolu
Demandé el 15 de Janvier, 2011 par Bartosz Milewski
Etiquettes :
Photo de Petr Pudlák

68

6 Rép
1096 Aff

Existe-t-il une monade qui n'a pas de transformateur de monade correspondant (sauf IO) ?

Ouvert
Demandé el 1 de Juillet, 2014 par Petr Pudlák
Etiquettes :
Avatar de barsoap

155

2 Rép
7779 Aff

Applications du monde réel de zygohistomorphic prepromorphisms

Ouvert
Demandé el 20 de Février, 2011 par barsoap
Etiquettes :
Avatar de missingfaktor

357

1 Rép
16108 Aff

Ce n' "coalgebra" signifie dans le contexte de la programmation?

Ouvert
Demandé el 15 de Avril, 2013 par missingfaktor
Etiquettes :
Avatar de Roman A. Taycher

893

6 Rép
41952 Aff

Une monade est juste un monoïde dans la catégorie des endofoncteurs, quel est le problème ?

Résolu
Demandé el 6 de Octobre, 2010 par Roman A. Taycher
Etiquettes :

Top Tags

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X