Qu'est-ce qu'un endofuncteur monade ?
Qu'est-ce qu'un endofuncteur monade ?

Vidéo: Qu'est-ce qu'un endofuncteur monade ?

Vidéo: Qu'est-ce qu'un endofuncteur monade ?
Vidéo: computation as monoids in category and haskell - unifying monad, applicative functors, arrows - 1/n 2024, Peut
Anonim

UNE monade est un certain type de endofonctionneur . Par exemple, si et sont une paire de foncteurs adjoints, avec l'adjoint à gauche à, alors la composition est un monade . Si et sont des foncteurs inverses, les monade est le foncteur identité. En général, les adjonctions ne sont pas des équivalences - elles relient des catégories de natures différentes.

Sachez aussi, qu'est-ce qu'une Monade en biologie ?

(Science: la biologie ) Un organisme simple et minuscule; une cellule primaire, un germe ou un plaste. (Science: chimie) Un atome ou un radical dont la valence est un, ou qui peut se combiner avec, être remplacé par, ou échangé contre, un atome d'hydrogène. (Science: la biologie ) Monade dème, en tectologie, une unité du premier ordre de l'individualité.

De même, qu'est-ce qu'une Monade en programmation ? De wikipedia: En fonctionnel la programmation , une monade est une sorte de type de données abstrait utilisé pour représenter des calculs (au lieu de données dans le modèle de domaine). Monades permettre le programmeur pour enchaîner les actions entre elles pour construire un pipeline, dans lequel chaque action est agrémentée de règles de traitement supplémentaires fournies par le monade.

De même, on peut se demander si toutes les monades sont des monoïdes ?

Tous dit, un monade dans X est juste un monoïde dans la catégorie des endofunctors de X, avec le produit × remplacé par la composition des endofunctors et l'unité fixée par l'identité endofunctor. X ici est une catégorie. Il s'agit d'une catégorie dans laquelle les objets sont des endofoncteurs et les morphismes sont des transformations naturelles.

Quel est l'exemple de monoïde?

En algèbre abstraite, une branche des mathématiques, un monoïde est une structure algébrique avec une seule opération binaire associative et un élément d'identité. Monoïdes sont des semi-groupes avec identité. Pour Exemple , les fonctions d'un ensemble en lui-même forment un monoïde par rapport à la composition fonctionnelle.

Conseillé: