Dalam matematika, khususnya teori kategori, functor adalah pemetaan antar kategori. Fungsi pertama kali dipertimbangkan dalam topologi aljabar, di mana objek aljabar dikaitkan dengan ruang topologi, dan peta di antara objek aljabar ini dikaitkan dengan peta kontinu antar ruang.
Bagaimana Anda mendefinisikan functor?
Dalam pemrograman fungsional, functor adalah pola desain yang terinspirasi oleh definisi dari teori kategori, yang memungkinkan tipe generik untuk menerapkan fungsi di dalamnya tanpa mengubah struktur tipe generik. Ide ini dikodekan dalam Haskell menggunakan kelas tipe. kelas Fungsi f di mana fmap:: (a -> b) -> f a -> f b.
Apakah functor merupakan morfisme?
Fungtor identitas: dalam kategori C, ditulis 1C atau idC, memetakan objek ke dirinya sendiri dan morfisme ke dirinya sendiri. Fungsi identitas adalah endofunctor.
Apa yang dimaksud dengan functor dalam linguistik?
Kata fungsi dalam linguistik. Dalam pemrograman komputer: Functor (pemrograman fungsional) Objek fungsi yang digunakan untuk melewatkan pointer fungsi bersama dengan informasi status. untuk penggunaan istilah dalam bahasa Prolog, lihat sintaks dan semantik Prolog.
Apakah daftar berfungsi?
Menurut pengembang Haskell, semua Jenis seperti Daftar, Peta, Pohon, dll. adalah turunan dari Fungsi Haskell.
