Čo je to Monad Endofunctor?

2024 Autor: Miles Stephen | [email protected]. Naposledy zmenené: 2023-12-15 23:40

A monáda je určitým druhom endofunktor . Napríklad, ak a sú dvojice adjungovaných funktorov s ľavým adjungovaným k, potom je kompozícia monáda . Ak a sú inverzné funktory, zodpovedajúce monáda je funktor identity. Prídavky vo všeobecnosti nie sú ekvivalencie – týkajú sa kategórií rôznej povahy.

Tiež viete, čo je Monad v biológii?

(Veda: biológia ) Jednoduchý, nepatrný organizmus; primárna bunka, zárodok alebo plastid. (Veda: chémia) Atóm alebo radikál, ktorého mocnosť je jedna, alebo ktorý sa môže spojiť, nahradiť alebo vymeniť za jeden atóm vodíka. (Veda: biológia ) Monad deme v tekológii jednotka prvého rádu individuality.

Podobne, čo je Monad v programovaní? Z wikipedie: Vo funkčnom stave programovanie , a monáda je druh abstraktného dátového typu používaného na reprezentáciu výpočtov (namiesto dát v doménovom modeli). Monády povoliť programátor zreťaziť akcie a vybudovať tak potrubie, v ktorom je každá akcia zdobená ďalšími pravidlami spracovania, ktoré poskytuje monáda.

Podobne sa možno pýtať, či sú všetky monády monoidy?

Všetky povedal, a monáda v X je len a monoid v kategórii endofuktorov X, pričom súčin × je nahradený zložením endofuktorov a jednotkou stanovenou identitou endofuktora. X tu je kategória. Toto je kategória, v ktorej sú objekty endofuktormi a morfizmy sú prirodzené transformácie.

Čo je príklad Monoid?

V abstraktnej algebre, odvetví matematiky, a monoid je algebraická štruktúra s jedinou asociatívnou binárnou operáciou a prvkom identity. Monoidy sú pologrupy s identitou. Pre príklad , funkcie z množiny do seba tvoria a monoid s ohľadom na zloženie funkcií.