Kas ir Monādes Endofunctor?
Kas ir Monādes Endofunctor?

Video: Kas ir Monādes Endofunctor?

Video: Kas ir Monādes Endofunctor?
Video: Laulības enerģētika. Saruna ar Aiju Trofimovu 1. daļa /3 2024, Maijs
Anonim

A monāde ir noteikta veida endofunktors . Piemēram, ja un ir adjointfunktoru pāris ar kreiso adjunktu, tad sastāvs ir monāde . Ja un ir apgrieztie funktieri, attiecīgie monāde ir identitātes funkcionētājs. Kopumā papildinājumi nav ekvivalences - tie attiecas uz dažāda rakstura kategorijām.

Ziniet arī, kas ir monāde bioloģijā?

(Zinātne: bioloģija ) Vienkāršs, sīks organisms; primārā šūna, dīglis vai plastīds. (Zinātne: ķīmija) Atoms vai radikāls, kura valence ir viena vai ko var apvienot ar vienu ūdeņraža atomu, aizstāt ar to vai apmainīt pret to. (Zinātne: bioloģija ) Monāde deme tekoloģijā ir pirmās kārtas individualitātes vienība.

Līdzīgi, kas 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.

Līdzīgi var jautāt, vai visas monādes ir monoīdi?

Visi stāstīja, a monāde X ir tikai a monoīds X endofunktoru kategorijā ar reizinājumu × aizstāj ar endofunkciju sastāvu un vienību, ko nosaka endofunkcijas identitāte. X šeit ir kategorija. Šī ir kategorija, kurā objekti ir endofunktori un morfismi ir dabiskas pārvērtības.

Kas ir monoīda piemērs?

Abstraktajā algebrā, matemātikas nozarē, a monoīds ir algebriska struktūra ar vienu asociatīvu bināru darbību un identitātes elementu. Monoīdi ir pusgrupas ar identitāti. Priekš piemērs , funkcijas no kopas uz sevi veido a monoīds attiecībā uz funkciju sastāvu.

Ieteicams: