Mis on Monad Endofunctor?
Mis on Monad Endofunctor?

Video: Mis on Monad Endofunctor?

Video: Mis on Monad Endofunctor?
Video: Astrynyty vs True Narrator & Monad #oc #lore 2024, November
Anonim

A monaad on teatud tüüpi endofunktor . Näiteks kui ja on adjointfunktorite paar, mille vasakpoolne adjoint on, siis on kompositsioon monaad . Kui ja on pöördfunktsioonid, vastavad monaad on identiteedi funktsioneerija. Üldiselt ei ole lisandid samaväärsused – need seostavad erineva iseloomuga kategooriaid.

Tea ka, mis on bioloogias monaad?

(Teadus: bioloogia ) Lihtne, väike organism; esmane rakk, idu või plastiid. (Teadus: keemia) Aatom või radikaal, mille valents on üks või mida saab kombineerida, asendada või asendada ühe vesinikuaatomiga. (Teadus: bioloogia ) Monaad deme, tekoloogias, individuaalsuse esimest järku üksus.

Samamoodi, mis on programmeerimises monaad? Wikipediast: Funktsionaalselt programmeerimine , a monaad on teatud tüüpi abstraktne andmetüüp, mida kasutatakse arvutuste esitamiseks (domeenimudeli andmete asemel). Monaadid lubada programmeerija aheldada toiminguid kokku, et ehitada torujuhe, milles iga toiming on kaunistatud täiendavate töötlemisreeglitega, mida pakuvad monaad.

Samamoodi võib küsida, kas kõik monaadid on monoidid?

Kõik rääkis, a monaad X-s on lihtsalt a monoidne X endofunktrite kategoorias, kus toode × on asendatud endofunktrite koostisega ja ühikuga, mis on määratud identiteedi endofunktoriga. X siin on kategooria. See on kategooria, milles objektid on endofunktorid ja morfismid on looduslikud transformatsioonid.

Mis on monoidi näide?

Abstraktses algebras on matemaatika haru, a monoidne on algebraline struktuur ühe assotsiatiivse kahendtehte ja identiteedielemendiga. Monoidid on identiteediga poolrühmad. Sest näide , funktsioonid hulgast iseendasse moodustavad a monoidne funktsiooni koostise osas.

Soovitan: