Çfarë është një Monad Endofunctor?
Çfarë është një Monad Endofunctor?

Video: Çfarë është një Monad Endofunctor?

Video: Çfarë është një Monad Endofunctor?
Video: Hipokrati- Testosteroni! Meshkuj, dëgjoni doktorin... 19 Mars 2022 2024, Mund
Anonim

A monada është një lloj i caktuar i endofunktor . Për shembull, nëse dhe janë një çift funksionorësh të bashkuar, me adjoint të majtë me, atëherë përbërja është një monada . Nëse dhe janë funksionorë të anasjelltë, korrespondojnë monada është funksioni i identitetit. Në përgjithësi, bashkëngjitjet nuk janë ekuivalenca - ato lidhin kategori të natyrave të ndryshme.

Gjithashtu e dini, çfarë është një Monadë në biologji?

(Shkenca: biologjisë ) Një organizëm i thjeshtë, i vogël; një qelizë primare, embrion ose plastid. (Shkencë: kimi) Një atom ose radikal, valenca e të cilit është një, ose që mund të kombinohet, zëvendësohet ose shkëmbehet me një atom hidrogjeni. (Shkenca: biologjisë ) Monada deme, në tektologji, një njësi e rendit të parë të individualitetit.

Në mënyrë të ngjashme, çfarë është një Monad në programim? Nga wikipedia: Në funksional programimit , a monada është një lloj tipi abstrakt i të dhënave që përdoret për të përfaqësuar llogaritjet (në vend të të dhënave në modelin e domenit). Monadat lejojnë programues për të zinxhiruar veprimet së bashku për të ndërtuar një tubacion, në të cilin çdo veprim është zbukuruar me rregulla shtesë të përpunimit të parashikuara nga monada.

Në mënyrë të ngjashme, dikush mund të pyesë, a janë të gjitha monadat monoide?

Të gjitha i thënë, a monada në X është vetëm një monoid në kategorinë e endofunktorëve të X, me produktin × të zëvendësuar nga përbërja e endofunktorëve dhe njësia e vendosur nga endofunktori i identitetit. X këtu është një kategori. Kjo është një kategori në të cilën objektet janë endofunktorë dhe morfizmat janë shndërrime natyrore.

Cili është shembulli Monoid?

Në algjebër abstrakte, një degë e matematikës, a monoid është një strukturë algjebrike me një veprim binar të vetëm asociativ dhe një element identitar. Monoidet janë gjysmëgrupe me identitet. Për shembull , funksionet nga një bashkësi në vetvete formojnë a monoid në lidhje me përbërjen e funksionit.

Recommended: