Στα μαθηματικά, και συγκεκριμένα στη θεωρία κατηγοριών, ένας συντελεστής είναι μια αντιστοίχιση μεταξύ κατηγοριών. Οι συντελεστές εξετάστηκαν για πρώτη φορά στην αλγεβρική τοπολογία, όπου τα αλγεβρικά αντικείμενα συσχετίζονται με τοπολογικούς χώρους και οι χάρτες μεταξύ αυτών των αλγεβρικών αντικειμένων συσχετίζονται με συνεχείς χάρτες μεταξύ των χώρων.
Πώς ορίζετε έναν συντελεστή;
Στον λειτουργικό προγραμματισμό, ένας συντελεστής είναι ένα σχέδιο σχεδίασης εμπνευσμένο από τον ορισμό από τη θεωρία κατηγορίας, που επιτρέπει σε έναν γενικό τύπο να εφαρμόσει μια συνάρτηση μέσα χωρίς να αλλάξει τη δομή του γενικού τύπου. Αυτή η ιδέα είναι κωδικοποιημένη στο Haskell χρησιμοποιώντας κατηγορία τύπου. class Functor f όπου fmap:: (a -> b) -> f a -> f b.
Είναι ένας συντελεστής μορφισμός;
Συνάρτηση ταυτότητας: στην κατηγορία C, γραμμένο 1C ή idC, αντιστοιχίζει ένα αντικείμενο στον εαυτό του και έναν μορφισμό στον εαυτό του. Ο συντελεστής ταυτότητας είναι ένας endofunctor.
Τι είναι ένας συντελεστής στη γλωσσολογία;
Λειτουργική λέξη στη γλωσσολογία. Στον προγραμματισμό υπολογιστών: Functor (functional programming) Αντικείμενο συνάρτησης που χρησιμοποιείται για τη μετάδοση δεικτών συνάρτησης μαζί με πληροφορίες κατάστασης. για τη χρήση του όρου στη γλώσσα Prolog, ανατρέξτε στη σύνταξη και σημασιολογία της Prolog.
Είναι η λίστα συντελεστής;
Σύμφωνα με τους προγραμματιστές της Haskell, όλοι οι τύποι όπως η λίστα, ο χάρτης, το δέντρο κ.λπ. αποτελούν το παράδειγμα του συναρτήματος Haskell.
