Τι είναι το Monad Endofunctor;
Τι είναι το Monad Endofunctor;

Βίντεο: Τι είναι το Monad Endofunctor;

Βίντεο: Τι είναι το Monad Endofunctor;
Βίντεο: A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2 2024, Νοέμβριος
Anonim

ΕΝΑ μονάδα είναι ένας ορισμένος τύπος ενδολειτουργικό . Για παράδειγμα, εάν και είναι ένα ζεύγος παρακείμενων συντελεστών, με αριστερό πρόσθετο σε, τότε η σύνθεση είναι μονάδα . Αν και είναι αντίστροφοι συντελεστές, το αντίστοιχο μονάδα είναι ο συντελεστής ταυτότητας. Γενικά, οι προσαρτήσεις δεν είναι ισοδυναμίες - συσχετίζουν κατηγορίες διαφορετικών φύσεων.

Ξέρετε επίσης, τι είναι ένα Monad στη βιολογία;

(Επιστήμη: βιολογία ) Ένας απλός, μικροσκοπικός οργανισμός. ένα πρωτογενές κύτταρο, μικρόβιο ή πλαστίδιο. (Επιστήμη: χημεία) Άτομο ή ρίζα του οποίου το σθένος είναι ένα ή που μπορεί να συνδυαστεί με, να αντικατασταθεί ή να ανταλλαχθεί με ένα άτομο υδρογόνου. (Επιστήμη: βιολογία ) Μονάδα deme, στην τεκολογία, μια μονάδα πρώτης τάξης ατομικότητας.

Ομοίως, τι είναι ένα Monad στον προγραμματισμό; Από τη wikipedia: Σε λειτουργικό προγραμματισμός , ένα μονάδα είναι ένα είδος αφηρημένου τύπου δεδομένων που χρησιμοποιείται για την αναπαράσταση υπολογισμών (αντί για δεδομένα στο μοντέλο τομέα). Μονάδες επιτρέψτε το προγραμματιστής να αλυσιδωτές δράσεις μαζί για την κατασκευή ενός αγωγού, στον οποίο κάθε ενέργεια είναι διακοσμημένη με πρόσθετους κανόνες επεξεργασίας που παρέχονται από το μονάδα.

Ομοίως, μπορεί κανείς να ρωτήσει, είναι όλες οι μονάδες μονοειδείς;

Ολα είπε, α μονάδα στο Χ είναι απλώς ένα μονοειδές στην κατηγορία των ενδολειτουργικών του X, με το προϊόν × να αντικαθίσταται από τη σύνθεση των ενδολειτουργικών και τη μονάδα που έχει οριστεί από την ταυτότητα ενδολειτουργίας. X εδώ είναι μια κατηγορία. Αυτή είναι μια κατηγορία στην οποία τα αντικείμενα είναι ενδολειτουργικοί και οι μορφισμοί είναι φυσικοί μετασχηματισμοί.

Τι είναι το Monoid παράδειγμα;

Στην αφηρημένη άλγεβρα, κλάδος των μαθηματικών, α μονοειδές είναι μια αλγεβρική δομή με μια ενιαία συνειρμική δυαδική πράξη και ένα στοιχείο ταυτότητας. Μονοειδή είναι ημιομάδες με ταυτότητα. Για παράδειγμα , οι συναρτήσεις από ένα σύνολο στον εαυτό τους σχηματίζουν α μονοειδές σε σχέση με τη σύνθεση της λειτουργίας.

Συνιστάται: