Video: Vai visas monādes ir monoīdi?
2024 Autors: Miles Stephen | [email protected]. Pēdējoreiz modificēts: 2023-12-15 23:38
Labi pateikta, iespējams, īsākā atbilde, kāda jebkad bijusi: A monāde ir tikai a monoīds endofunktoru kategorijā. Apmierināts ar monoīds aksiomas (i. & ii.), a monāde var uzskatīt par a monoīds kas ir endofunktors kopā ar divām dabiskām transformācijām.
Kas ir Monādes Endofunctor?
Kategoriju teorijā matemātikas nozare, a monāde (arī trīskāršā, triāde, standarta konstrukcija un fundamentālā konstrukcija) ir an endofunktors (funktoris, kas kartē kategoriju ar sevi), kopā ar divām dabiskām transformācijām, kas nepieciešamas, lai izpildītu noteiktus saskaņotības nosacījumus.
Pēc tam rodas jautājums, kas ir Bifunctor? A bifunktors (pazīstams arī kā binārais funkcionors) ir funkcionārs, kura domēns ir produktu kategorija. To var uzskatīt par funkcionāru divos argumentos. Hom funktors ir dabisks piemērs; tas ir pretrunīgs vienā argumentā, kovariants otrā. Daudzfunkcionāls ir funkcionora koncepcijas vispārinājums uz n mainīgajiem.
Kas tad ir monāde programmēšanā?
No wikipedia: funkcionālā programmēšana , a monāde ir sava veida abstrakts datu tips, ko izmanto, lai attēlotu aprēķinus (domēna modeļa datu vietā). Monādes atļaut programmētājs apvienot darbības, lai izveidotu cauruļvadu, kurā katra darbība ir dekorēta ar papildu apstrādes noteikumiem, ko nodrošina monāde.
Kas ir Monāde Haskela?
In Haskels a monāde tiek attēlots kā tipa konstruktors (sauc to par m), funkcija, kas veido šāda veida vērtības (a -> ma), un funkcija, kas apvieno šī tipa vērtības ar aprēķiniem, kas rada šī tipa vērtības, lai izveidotu jaunu aprēķinu šāda veida vērtības (ma -> (a -> mb) -> mb).
Ieteicams:
Vai visās olās ir holīns?
Viena liela ola satur 113 mg holīna. Kopsavilkums Holīns ir būtiska uzturviela, ar kuru tikai daži cilvēki saņem pietiekami daudz. Olu dzeltenumi ir lielisks holīna avots
Vai taisnstūrim ir visas četrstūra īpašības?
Taisnstūris. Taisnstūris ir četrstūris ar četriem taisnstūriem. Tādējādi visi taisnstūra leņķi ir vienādi (360°/4 = 90°). Turklāt taisnstūra pretējās malas ir paralēlas un vienādas, un diagonāles sadala viena otru
Kas ir Monādes Endofunctor?
Monāde ir noteikts endofunkcijas veids. Piemēram, ja un ir adjointfunktoru pāris ar kreiso adjoint to, tad kompozīcija ir monāde. Ja un ir apgrieztie funktieri, atbilstošā monāde ir identitātes funktieris. Kopumā papildinājumi nav ekvivalences - tie attiecas uz dažāda rakstura kategorijām
Vai visas baktērijas ir flagellas?
Dažām baktērijām ir viens karogs, savukārt citām ir daudz flagellu, kas aptver visu šūnu. Katrs flagella sastāv no pavediena, kas sastāv no proteīna, ko sauc par flagellīnu, un āķa, kas piestiprina pavedienu šūnai pie motora
Kam tiek izmantotas monādes?
No Vikipēdijas: funkcionālajā programmēšanā monāde ir sava veida abstrakts datu tips, ko izmanto, lai attēlotu aprēķinus (domēna modeļa datu vietā). Monādes ļauj programmētājam apvienot darbības kopā, lai izveidotu konveijeru, kurā katra darbība ir dekorēta ar papildu apstrādes noteikumiem, ko nodrošina monāde