Monad Endofunctor деген эмне?
Monad Endofunctor деген эмне?

Video: Monad Endofunctor деген эмне?

Video: Monad Endofunctor деген эмне?
Video: Hitler reacts to functional programming 2024, Ноябрь
Anonim

А монад белгилүү бир түрү болуп саналат эндофунктор . Мисалы, эгер жана - дегенге сол жак жалгашуучу жуп болсо, анда композиция бир монад . Эгерде жана тескери функциялар болсо, тиешелүү монад иденттүүлүк функциясы болуп саналат. Жалпысынан, кошумчалар эквиваленттүүлүк эмес - алар ар кандай мүнөздөгү категорияларды байланыштырат.

Ошондой эле биологияда Monad деген эмнени билесизби?

(Илим: биология ) Жөнөкөй, кичинекей организм; негизги клетка, микроб же пластид. (Илим: химия) Валенттүүлүгү бир болгон атом же радикал суутектин бир атому менен биригип, алмаштырылышы же алмашышы мүмкүн. (Илим: биология ) Монад деме, текологияда жекеликтин биринчи даражадагы бирдиги.

Ошо сыяктуу эле, программалоодо Монад деген эмне? Википедиядан: Функционалдуу программалоо , а монад эсептөөлөрдү көрсөтүү үчүн колдонулган абстракттуу маалымат түрүнүн бир түрү (домен моделиндеги маалыматтардын ордуна). Монадалар уруксат берүү программист ар бир иш-аракет тарабынан каралган кошумча иштетүү эрежелери менен кооздолгон куур куруу үчүн бирге иш-аракеттерди чынжыр монад.

Ошо сыяктуу эле, кимдир бирөө сурашы мүмкүн, бардык монадалар моноидби?

Баары айтып, а монад X ичинде жөн гана а моноид X эндофункторлор категориясында, продукт × эндофунктордун курамы менен алмаштырылган жана эндофунктордун идентификациясы менен белгиленген бирдик. X бул жерде категория болуп саналат. Бул объекттер эндофункторлор жана морфизмдер табигый трансформациялар болгон категория.

Monoid мисал деген эмне?

Абстракттуу алгебрада математиканын бир тармагы, а моноид бир ассоциативдик бинардык операция жана иденттүүлүк элементи бар алгебралык структура болуп саналат. Моноиддер иденттүүлүгү бар жарым топтор. үчүн мисал , функциялар көптүктү өзүнө камтыйт моноид функционалдык курамына карата.

Сунушталууда: