ما هو Monad Endofunctor؟
ما هو Monad Endofunctor؟

فيديو: ما هو Monad Endofunctor؟

فيديو: ما هو Monad Endofunctor؟
فيديو: A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2 2024, شهر نوفمبر
Anonim

أ أحادي هو نوع معين من Endofunctor . على سبيل المثال ، إذا كان زوجًا من الممثلين المساعدين ، مع وجود ملحق يسار ، فإن التكوين هو a أحادي . إذا كانت موانع عكسية ، فإن المقابل أحادي هو ممول الهوية. بشكل عام ، الوصلات ليست معادلات - إنها تتعلق بفئات من طبائع مختلفة.

تعرف أيضًا ، ما هو Monad في علم الأحياء؟

(علم: مادة الاحياء ) كائن حي بسيط ، دقيق ؛ خلية أولية أو جرثومة أو بلاستيد. (العلوم: الكيمياء) ذرة أو جذري تكافؤها واحد ، أو يمكن أن تتحد مع ذرة واحدة من الهيدروجين أو استبدالها أو استبدالها. (علم: مادة الاحياء ) موناد deme ، في tectology ، وحدة من الدرجة الأولى الفردية.

وبالمثل ، ما هو الموناد في البرمجة؟ من ويكيبيديا: وظيفي برمجة ، أ أحادي هو نوع من أنواع البيانات المجردة المستخدمة لتمثيل الحسابات (بدلاً من البيانات في نموذج المجال). موناد السماح لل مبرمج لتسلسل الإجراءات معًا لبناء خط أنابيب ، حيث يتم تزيين كل إجراء بقواعد معالجة إضافية مقدمة من أحادي.

وبالمثل قد يتساءل المرء ، هل كل monads Monoids؟

الجميع قال ، أ أحادي في X هو مجرد أحادي في فئة المفاعلات الداخلية لـ X ، مع استبدال المنتج × بتكوين المفاعلات الداخلية والوحدة التي تم تعيينها بواسطة وحدة التحكم الداخلي. X هنا فئة. هذه فئة تكون فيها الكائنات عبارة عن مفاعلات داخلية وتكون الأشكال عبارة عن تحولات طبيعية.

ما هو مثال مونويد؟

في الجبر المجرد ، وهو فرع من فروع الرياضيات ، أ أحادي هي بنية جبرية مع عملية ثنائية ارتباطية واحدة وعنصر محايد. أحاديات هي نصف مجموعات ذات هوية. ل مثال ، فإن الوظائف من مجموعة في نفسها تشكل أ أحادي فيما يتعلق بتكوين الوظيفة.