Monad Endofunctor yog dab tsi?
Monad Endofunctor yog dab tsi?

Video: Monad Endofunctor yog dab tsi?

Video: Monad Endofunctor yog dab tsi?
Video: Carles Casacuberta - Lifting homotopical (co)localizations to algebras over monads 2024, Kaum ib hlis
Anonim

A monad yog ib hom ntawm endofunctor . Piv txwv li, yog hais tias thiab yog ib khub ntawm adjoint functionors, nrog rau sab laug adjoint rau, ces cov muaj pes tsawg leeg yog ib tug monad . Yog hais tias thiab yog inverse functionors, tus coj monad yog tus cwj pwm ua haujlwm. Feem ntau, cov kev sib txuas tsis yog qhov sib npaug-lawv cuam tshuam cov pawg ntawm cov xwm txheej sib txawv.

Kuj paub, Monad yog dab tsi hauv biology?

(Science: biology ) Ib qho yooj yim, feeb kab mob; thawj cell, kab mob, los yog plastid. (Science: chemistry) Ib qho atom lossis radical uas nws qhov valence yog ib qho, lossis uas tuaj yeem ua ke nrog, hloov los ntawm, lossis pauv rau, ib lub atom ntawm hydrogen. (Science: biology ) Monad deme, hauv tectology, ib chav tsev ntawm thawj qhov kev txiav txim ntawm tus kheej.

Ib yam li ntawd, Monad yog dab tsi hauv programming? Los ntawm wikipedia: Hauv kev ua haujlwm programming , a monad yog ib hom kev paub daws teeb meem cov ntaub ntawv siv los sawv cev kev suav (es tsis yog cov ntaub ntawv hauv tus qauv sau). Monads tso cai rau programmer txhawm rau txuas cov kev nqis tes ua ua ke los tsim ib lub raj xa dej, uas txhua qhov kev txiav txim yog dai kom zoo nkauj nrog cov txheej txheem ntxiv uas tau muab los ntawm cov monad.

Ib yam li ib tug yuav nug, puas yog txhua tus monads Monoids?

Tag nrho hais, a monad hauv X tsuas yog ib monoid nyob rau hauv qeb ntawm endofunctors ntawm X, nrog cov khoom × hloov los ntawm cov muaj pes tsawg leeg ntawm endofunctors thiab unit teem los ntawm tus kheej endofunctor. X ntawm no yog qeb. Qhov no yog ib pawg uas cov khoom yog endofunctors thiab cov morphisms yog natural transformations.

Monoid piv txwv yog dab tsi?

Hauv abstract algebra, ib ceg ntawm lej, a monoid yog ib qho qauv ntawm algebraic nrog ib qho kev sib koom ua ke binary ua haujlwm thiab ib qho cim cim. Monoids yog semigroups nrog tus kheej. Rau piv txwv , cov haujlwm los ntawm kev teeb tsa rau hauv nws tus kheej tsim a monoid nrog rau kev ua haujlwm muaj pes tsawg leeg.

Pom zoo: