Què és un endofunctor de la mónada?
Què és un endofunctor de la mónada?

Vídeo: Què és un endofunctor de la mónada?

Vídeo: Què és un endofunctor de la mónada?
Vídeo: A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2 2024, Maig
Anonim

A mónada és un tipus determinat de endofunctor . Per exemple, si i són un parell de funtors adjunts, amb l'adjunt esquerre a, aleshores la composició és una mónada . Si i són funtors inversos, el corresponent mónada és el functor de la identitat. En general, les adjuncions no són equivalències: relacionen categories de naturalesa diferent.

També saps, què és una mónada en biologia?

(Ciència: biologia ) Un organisme senzill i minúscul; una cèl·lula primària, germen o plastid. (Ciència: química) Àtom o radical la valència del qual és una, o que es pot combinar amb, substituir-se o intercanviar-se per un àtom d'hidrogen. (Ciència: biologia ) Mònada deme, en tectologia, una unitat de primer ordre de la individualitat.

De la mateixa manera, què és una mónada a la programació? De la viquipèdia: En funcional programació , a mónada és una mena de tipus de dades abstractes que s'utilitza per representar càlculs (en lloc de dades en el model de domini). Mónades permetre el programador per encadenar accions per construir un pipeline, en el qual cada acció està decorada amb regles de processament addicionals proporcionades pel mónada.

De la mateixa manera, es pot preguntar, totes les mónades són monoides?

Tots va dir, a mónada en X és només a monoide a la categoria d'endofunctors de X, amb producte × substituït per composició d'endofunctors i unitat establerta per l'endofunctor d'identitat. X aquí hi ha una categoria. Aquesta és una categoria en què els objectes són endofunctors i els morfismes són transformacions naturals.

Quin és l'exemple del monoide?

En àlgebra abstracta, una branca de les matemàtiques, a monoide és una estructura algebraica amb una única operació binària associativa i un element d'identitat. Monoides són semigrups amb identitat. Per exemple , les funcions d'un conjunt en si mateix formen a monoide pel que fa a la composició de la funció.

Recomanat: