Wat is een monade-endofunctor?
Wat is een monade-endofunctor?

Video: Wat is een monade-endofunctor?

Video: Wat is een monade-endofunctor?
Video: A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2 2024, November
Anonim

EEN monade is een bepaald type endofunctor . Bijvoorbeeld, als en zijn een paar adjoint functors, met left adjoint to, dan is de compositie een monade . Als en zijn inverse functors, de corresponderende monade is de identiteitsfunctie. Over het algemeen zijn adjuncties geen equivalenties - ze hebben betrekking op categorieën van verschillende aard.

Weet ook, wat is een monade in de biologie?

(Wetenschap: biologie ) Een eenvoudig, miniem organisme; een primaire cel, kiem of plastide. (Wetenschap: scheikunde) Een atoom of radicaal waarvan de valentie één is, of die kan worden gecombineerd met, vervangen door of uitgewisseld voor één waterstofatoom. (Wetenschap: biologie ) Monade deme, in de tectologie, een eenheid van de eerste orde van individualiteit.

Evenzo, wat is een Monade in programmeren? Van wikipedia: In functioneel programmeren , een monade is een soort abstract gegevenstype dat wordt gebruikt om berekeningen weer te geven (in plaats van gegevens in het domeinmodel). Monaden laat de programmeur om acties aan elkaar te koppelen om een pijplijn te bouwen, waarin elke actie is versierd met aanvullende verwerkingsregels die worden geleverd door de monade.

Op dezelfde manier kan men zich afvragen: zijn alle monaden monoïden?

Alle vertelde, een monade in X is gewoon een monoïde in de categorie van endofunctors van X, met product × vervangen door samenstelling van endofunctors en eenheid ingesteld door de identiteit endofunctor. X hier is een categorie. Dit is een categorie waarin de objecten endofunctors zijn en de morfismen natuurlijke transformaties.

Wat is het voorbeeld van Monoid?

In abstracte algebra, een tak van de wiskunde, a monoïde is een algebraïsche structuur met een enkele associatieve binaire bewerking en een identiteitselement. Monoïden zijn semigroepen met identiteit. Voor voorbeeld , vormen de functies van een verzameling in zichzelf a monoïde met betrekking tot de functiesamenstelling.

Aanbevolen: