Šta je endofunktor Monade?
Šta je endofunktor Monade?

Video: Šta je endofunktor Monade?

Video: Šta je endofunktor Monade?
Video: Валентина Таран - Je suis malade - Lara Fabian - Кастинг в Днепропетровске - Х-Фактор 4 - 21.09.2013 2024, Maj
Anonim

A monada je određena vrsta endofunctor . Na primjer, ako i su par pridruženih funktora, s lijevom adjunktom na, tada je kompozicija monada . Ako su i inverzni funktori, odgovarajući monada je funktor identiteta. Općenito, dodaci nisu ekvivalencije – oni povezuju kategorije različite prirode.

Znajte i šta je monada u biologiji?

(nauka: biologija ) Jednostavan, sitan organizam; primarna ćelija, klica ili plastid. (Nauka: hemija) Atom ili radikal čija je valencija jedan, ili koji se može kombinovati sa jednim atomom vodonika, biti zamenjen ili zamenjen za njega. (nauka: biologija ) Monad deme, u tektologiji, jedinica prvog reda individualnosti.

Slično, šta je monada u programiranju? Sa wikipedije: U funkcionalnom programiranje , a monada je vrsta apstraktnog tipa podataka koji se koristi za predstavljanje izračunavanja (umjesto podataka u modelu domene). Monade dozvoliti programer da ulančaju akcije zajedno kako bi se izgradio cjevovod, u kojem je svaka radnja ukrašena dodatnim pravilima obrade koje osigurava monada.

Slično se može pitati, da li su sve monade Monoidi?

Sve rekao, a monada u X je samo a monoid u kategoriji endofunktora X, sa proizvodom × zamijenjenim sastavom endofunktora i jedinicom postavljenom endofunktorom identiteta. X ovdje je kategorija. Ovo je kategorija u kojoj su objekti endofunktori, a morfizmi prirodne transformacije.

Šta je Monoid primjer?

U apstraktnoj algebri, grani matematike, a monoid je algebarska struktura sa jednom asocijativnom binarnom operacijom i elementom identiteta. Monoidi su polugrupe sa identitetom. Za primjer , funkcije iz skupa u sebe formiraju a monoid s obzirom na sastav funkcije.

Preporučuje se: