Toute monade est également un foncteur applicatif et tout foncteur applicatif est un foncteur. De plus, tout comonad est un foncteur. Existe-t-il un concept similaire entre les comonades et les foncteurs, quelque chose comme le foncteur co-applicatif, et quelles sont ses propriétés?...
Contexte . Je suis un étudiant de baccalauréat qui s'intéresse à la recherche liée à la théorie des catégories, aux monades et à Haskell, et je veux trouver un sujet pour ma thèse de baccalauréat dans ce domaine. J'ai regardé le papier Eugenio Moggi , « Notions de calculs et monades », 1991, et je...
Rappelons la transformation de passage de continuation (transformée CPS) qui prend à β A : = R R A (où R est fixe) et f : A → B à β f : β A → β B défini par βUNEUNEAβUNE : = RRUNEβUNE:=RRUNE\beta A \mathrel{{:}{=}} R^{R^A}RRRF: A → BF:UNE→Bf : A \to BβF: βA → βBβF:βUNE→βB\beta f : \beta A \to \beta...
Suivi Quel est un exemple d'une Monade qui est une Alternative mais pas un MonadPlus? : Supposons que est une monade. Quelles sont les relations betweem m étant une alternative , un MonadPlusCatch et un MonadPlusDistr ? mmmmmmPour chacune des six paires possibles, j'aimerais avoir soit une preuve...