Co to jest Endofunctor Monad?
Co to jest Endofunctor Monad?

Wideo: Co to jest Endofunctor Monad?

Wideo: Co to jest Endofunctor Monad?
Wideo: A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2 2024, Listopad
Anonim

A monada jest pewnym rodzajem końcowy; . Na przykład, jeśli i są parą funktorów sprzężonych z lewym sprzężeniem do, to złożenie jest monada . Jeśli i są funktorami odwrotnymi, odpowiadające monada jest funktorem tożsamości. Ogólnie rzecz biorąc, adjunkcje nie są ekwiwalentami - odnoszą się do kategorii o różnej naturze.

Wiesz też, czym jest monada w biologii?

(Nauki ścisłe: biologia ) Prosty, drobny organizm; komórka pierwotna, zarodek lub plastyd. (Nauka: chemia) Atom lub rodnik, którego wartościowość wynosi jeden, lub który może być połączony z jednym atomem wodoru lub zamieniony na jeden. (Nauki ścisłe: biologia ) Monada deme, w tektologii, jednostka pierwszego rzędu indywidualności.

Podobnie, czym jest monada w programowaniu? Z wikipedii: W funkcjonalnym programowanie , a monada to rodzaj abstrakcyjnego typu danych używanego do reprezentowania obliczeń (zamiast danych w modelu domeny). Monady pozwól programista do łączenia akcji razem w celu zbudowania potoku, w którym każda akcja jest ozdobiona dodatkowymi regułami przetwarzania dostarczonymi przez monada.

Podobnie można zapytać, czy wszystkie monady są monoidami?

Wszystko powiedział, a monada w X to tylko monoid w kategorii funktorów końcowych X, gdzie produkt × zastąpiono składem funktorów końcowych i jednostką ustaloną przez funktor końcowy tożsamości. X tutaj to kategoria. Jest to kategoria, w której obiekty są końcowymi funkcjami, a morfizmy naturalnymi przekształceniami.

Jaki jest przykład Monoidu?

W algebrze abstrakcyjnej, dział matematyki, a monoid jest strukturą algebraiczną z pojedynczą asocjacyjną operacją binarną i elementem tożsamości. Monoidy są półgrupami o tożsamości. Do przykład , funkcje ze zbioru w siebie tworzą a monoid pod względem składu funkcji.

Zalecana: