Ano ang Monad Endofunctor?
Ano ang Monad Endofunctor?

Video: Ano ang Monad Endofunctor?

Video: Ano ang Monad Endofunctor?
Video: A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2 2024, Nobyembre
Anonim

A monad ay isang tiyak na uri ng endofunctor . Halimbawa, kung at ay isang pares ng magkadugtong na mga function, na may kaliwang magkadugtong sa, kung gayon ang komposisyon ay isang monad . Kung at ay mga inverse functors, ang katumbas monad ay ang function ng pagkakakilanlan. Sa pangkalahatan, ang mga adjunction ay hindi katumbas-nag-uugnay ang mga ito ng mga kategorya ng iba't ibang kalikasan.

Alamin din, ano ang Monad sa biology?

(Agham: biology ) Isang simple, minutong organismo; isang pangunahing cell, mikrobyo, o plastid. (Science: chemistry) Isang atom o radical na ang valence ay isa, o maaaring pagsamahin sa, papalitan ng, o palitan ng, isang atom ng hydrogen. (Agham: biology ) Monad deme, sa tectology, isang yunit ng unang pagkakasunud-sunod ng indibidwalidad.

Katulad nito, ano ang isang Monad sa programming? Mula sa wikipedia: In functional programming , a monad ay isang uri ng abstract na uri ng data na ginagamit upang kumatawan sa mga pagkalkula (sa halip na data sa modelo ng domain). Mga Monad payagan ang programmer upang i-chain ang mga aksyon nang sama-sama upang bumuo ng isang pipeline, kung saan ang bawat aksyon ay pinalamutian ng mga karagdagang panuntunan sa pagproseso na ibinigay ng monad.

Katulad din maaaring itanong ng isa, ang lahat ba ng monad ay Monoid?

Lahat sinabi, a monad sa X ay isang lamang monoid sa kategorya ng mga endofunctor ng X, na may produkto × pinalitan ng komposisyon ng mga endofunctor at yunit na itinakda ng endofunctor ng pagkakakilanlan. X dito ay isang kategorya. Ito ay isang kategorya kung saan ang mga bagay ay endofunctor at ang mga morphism ay natural na pagbabago.

Ano ang halimbawa ng Monoid?

Sa abstract algebra, isang sangay ng matematika, a monoid ay isang algebraic na istraktura na may iisang associative binary operation at isang identity element. Mga monoid ay mga semigroup na may pagkakakilanlan. Para sa halimbawa , ang mga function mula sa isang set papunta sa sarili nito ay bumubuo ng a monoid tungkol sa komposisyon ng pag-andar.

Inirerekumendang: