Monad Endofunctor гэж юу вэ?
Monad Endofunctor гэж юу вэ?

Видео: Monad Endofunctor гэж юу вэ?

Видео: Monad Endofunctor гэж юу вэ?
Видео: Hitler reacts to functional programming 2024, Арваннэгдүгээр
Anonim

А монад тодорхой төрөл юм endofunctor . Жишээ нь, хэрэв ба нь залгаа функцийн хос, зүүн талд залгаатай байвал найрлага нь монад . Хэрэв ба урвуу функцүүд байвал харгалзах монад таних функц юм. Ерөнхийдөө нэмэлт үгс нь тэнцүү биш бөгөөд өөр өөр шинж чанартай категориудыг холбодог.

Мөн биологийн хувьд Монад гэж юу болохыг мэдэх үү?

(Шинжлэх ухаан: биологи ) Энгийн, жижиг организм; анхдагч эс, үр хөврөл эсвэл пластид. (Шинжлэх ухаан: хими) Валент нь нэг буюу нэг устөрөгчийн атомтай нэгдэж, сольж эсвэл сольж болох атом эсвэл радикал. (Шинжлэх ухаан: биологи ) Монад deme, тектологийн хувьд хувь хүний анхны эрэмбийн нэгж.

Үүний нэгэн адил програмчлалд Монад гэж юу вэ? Википедиагаас: Ажиллаж байна програмчлал , a монад нь тооцооллыг илэрхийлэхэд ашигладаг хийсвэр өгөгдлийн төрөл юм (домайн загвар дахь өгөгдлийн оронд). Монадууд зөвшөөрөх программист дамжуулах хоолой барих үйлдлүүдийг хамтдаа гинжин хэлхээ, ямар үйлдэл бүр нь заасан нэмэлт боловсруулах дүрэм чимэглэсэн байна монад.

Үүнтэй адил хүн бүх монадууд моноид мөн үү?

Бүгд хэлсэн, а монад X-д зүгээр л a байна моноид X-ийн эндофункторын ангилалд, бүтээгдэхүүн ×-ийг эндофункторын найрлагаар сольж, эндофункторын таних тэмдэгээр тогтоосон нэгжээр солино. Энд X ангилал байна. Энэ нь объектууд нь эндофункторууд, морфизмууд нь байгалийн өөрчлөлтүүд байдаг ангилал юм.

Моноид жишээ гэж юу вэ?

Математикийн нэгэн салбар хийсвэр алгебр, А моноид нь нэг ассоциатив хоёртын үйлдэл, таних элемент бүхий алгебрийн бүтэц юм. Моноидууд таних тэмдэгтэй хагас бүлгүүд юм. Учир нь жишээ , олонлогоос өөртөө шилжих функцууд нь a хэлбэрийг үүсгэдэг моноид функциональ бүтцийн хувьд.

Зөвлөмж болгож буй: