preguntar acerca de category-theory

J'ai lu sur les monades dans la théorie des catégories. Une définition de monades utilise une paire de foncteurs adjoints. Une monade est définie par un aller-retour en utilisant ces foncteurs. Apparemment, les adjonctions sont très importantes dans …

Comonoids sont mentionnés, par exemple, dans Haskell distributive bibliothèque de documents : en raison de l'absence de comonoïdes non triviaux à Haskell, nous pouvons nous limiter à exiger un fonctionnement plutôt qu'une clas …