Wat is 'n Monad Endofunctor?
Wat is 'n Monad Endofunctor?

Video: Wat is 'n Monad Endofunctor?

Video: Wat is 'n Monad Endofunctor?
Video: Monads are monoids in the category of endofunctors’ explained – Ike Kurghinyan 2024, Mei
Anonim

A monade is 'n sekere tipe endofunktor . Byvoorbeeld, as en 'n paar byvoegende funktors is, met linkerbyvoegsel aan, dan is die samestelling 'n monade . As en is inverse funktors, die ooreenstemmende monade is die identiteitsfunktor. Oor die algemeen is byvoegings nie ekwivalensies nie - dit hou verband met kategorieë van verskillende aard.

Weet ook, wat is 'n monade in biologie?

(Wetenskap: biologie )’n Eenvoudige, klein organisme; 'n primêre sel, kiem of plastied. (Wetenskap: chemie) 'n Atoom of radikaal waarvan die valensie een is, of wat kan kombineer met, vervang word deur of omgeruil word vir een atoom waterstof. (Wetenskap: biologie ) Monade deme, in tekologie, 'n eenheid van die eerste orde van individualiteit.

Net so, wat is 'n monade in programmering? Van wikipedia: In funksioneel Programmering , a monade is 'n soort abstrakte datatipe wat gebruik word om berekeninge voor te stel (in plaas van data in die domeinmodel). Monades laat die programmeerder om aksies saam te ketting om 'n pyplyn te bou, waarin elke aksie versier is met bykomende verwerkingsreëls wat deur die monade.

Net so kan 'n mens vra, is alle monaden monooïdes?

Almal vertel, a monade in X is net a monooïed in die kategorie van endofunctors van X, met produk × vervang deur samestelling van endofunctors en eenheid gestel deur die identiteit endofunctor. X hier is 'n kategorie. Dit is 'n kategorie waarin die voorwerpe endofunctors is en die morfismes natuurlike transformasies is.

Wat is Monoïde voorbeeld?

In abstrakte algebra, 'n tak van wiskunde, a monooïed is 'n algebraïese struktuur met 'n enkele assosiatiewe binêre bewerking en 'n identiteitselement. Monoïede is semigroepe met identiteit. Vir voorbeeld , die funksies van 'n versameling in homself vorm 'n monooïed met betrekking tot funksiesamestelling.

Aanbeveel: