W matematyce, a konkretnie w teorii kategorii, funktor jest mapowaniem między kategoriami. Funktory zostały po raz pierwszy uwzględnione w topologii algebraicznej, w której obiekty algebraiczne są powiązane z przestrzeniami topologicznymi, a odwzorowania między tymi obiektami algebraicznymi są powiązane z ciągłymi odwzorowaniami między przestrzeniami.
Jak zdefiniować funktor?
W programowaniu funkcjonalnym funktor to wzorzec projektowy inspirowany definicją z teorii kategorii, która pozwala typowi ogólnemu na zastosowanie funkcji wewnątrz bez zmiany struktury typu ogólnego. Ten pomysł jest zakodowany w Haskell przy użyciu klasy type. klasa Functor f gdzie fmap:: (a -> b) -> f a -> f b.
Czy funktor jest morfizmem?
Funktor tożsamości: w kategorii C, napisany 1C lub idC, odwzorowuje obiekt na siebie i morfizm na siebie. Funktor tożsamości to endofunctor.
Czym jest funktor w językoznawstwie?
Słowo funkcyjne w lingwistyce. W programowaniu komputerowym: Functor (functional Programming) Obiekt funkcyjny używany do przekazywania wskaźników funkcji wraz z informacjami o stanie. aby użyć terminu w języku Prolog, zobacz składnię i semantykę Prologu.
Czy lista jest funktorem?
Według programistów Haskella, wszystkie typy, takie jak lista, mapa, drzewo itp. są instancjami funkcji Haskell.
