Back دال (رياضيات) Arabic Functor Catalan Funktor Czech Funktor (Mathematik) German Συναρτητής Greek Functor English Funtor Spanish تابعگون Persian Funktori Finnish Foncteur French
W teorii kategorii funktor to odwzorowanie jednej kategorii do drugiej zachowujące złożenia i morfizmy tożsamościowe[a]. Można o nim myśleć jako o homomorfizmie wyższego rzędu. Ważne jest rozróżnienie dwóch typów funktorów: kowariantnych i kontrawariantnych.
Pojęcie kategorii, funktora i naturalnych transformacji funktorów wprowadzili do matematyki Samuel Eilenberg i Saunders Mac Lane w 1945[1].
<ref> dla grupy o nazwie „uwaga”, ale nie odnaleziono odpowiedniego znacznika <references group="uwaga"/>BŁĄD PRZYPISÓW
- ↑ Eilenberg, S. i Mac Lane, S., 1945, “General Theory of Natural Equivalences”, Transactions of the American Mathematical Society, 58: s. 231–294; http://web.archive.org/web/20140907123850/http://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945-0013131-6/S0002-9947-1945-0013131-6.pdf