Monad endofunctor nima?
Monad endofunctor nima?

Video: Monad endofunctor nima?

Video: Monad endofunctor nima?
Video: Hitler reacts to functional programming 2024, Noyabr
Anonim

A monad ning ma'lum bir turi hisoblanadi endofunktor . Misol uchun, agar va qo'shma funktorlar juftligi bo'lsa, chap qo'shimchasi bilan, unda kompozitsiya monad . Agar va teskari funktorlar bo'lsa, mos keladi monad identifikatsiya funksiyasi hisoblanadi. Umuman olganda, qo'shimchalar ekvivalentlik emas - ular turli tabiatdagi kategoriyalarni bog'laydi.

Shuningdek, biologiyada Monad nima ekanligini biling.

(Fan: biologiya ) Oddiy, daqiqali organizm; birlamchi hujayra, mikrob yoki plastid. (Fan: kimyo) Valentligi bitta bo'lgan yoki bitta vodorod atomi bilan birlashishi, almashtirilishi yoki almashinishi mumkin bo'lgan atom yoki radikal. (Fan: biologiya ) Monad deme, tektologiyada individuallikning birinchi tartibidagi birlik.

Xuddi shunday, dasturlashda Monad nima? Vikipediyadan: Funktsional holatda dasturlash , a monad hisob-kitoblarni ifodalash uchun ishlatiladigan mavhum ma'lumotlar turidir (domen modelidagi ma'lumotlar o'rniga). Monadlar ruxsat berish dasturchi Har bir harakat tomonidan taqdim etilgan qo'shimcha ishlov berish qoidalari bilan bezatilgan quvur liniyasini qurish uchun harakatlarni birgalikda zanjirlash monad.

Xuddi shunday savol tug'ilishi mumkin: barcha monadlar monoidlarmi?

Hammasi aytdi, a monad X da faqat a monoid X endofunktorlari toifasida, mahsulot × endofunktorlar tarkibi bilan almashtiriladi va endofunktor identifikatori bilan o'rnatiladi. X bu yerda kategoriya. Bu ob'ektlar endofunktorlar va morfizmlar tabiiy transformatsiyalar bo'lgan toifadir.

Monoid misol nima?

Abstrakt algebrada matematikaning bir sohasi, a monoid bitta assotsiativ ikkilik amal va identifikatsiya elementiga ega algebraik strukturadir. Monoidlar identifikatsiyaga ega yarimguruhlardir. Uchun misol , toʻplamdan oʻziga funksiyalar a hosil qiladi monoid Funktsiya tarkibiga nisbatan.

Tavsiya: