Functor Definition
(category theory) A structure-preserving mapping between categories: if F is a functor from category C to category D, then F maps objects of C to objects of D and morphisms of C to morphisms of D such that any morphism f:X→Y of C is mapped to a morphism F(f): F(X) → F(Y) of D, such that if then , and such that identity morphisms (only identity morphisms) are mapped to identity morphisms. Note: the functor just described is covariant.
Other Word Forms of Functor
Noun
Origin of Functor
-
New Latin fūnctor from Latin fūnctiō performance, function function
From American Heritage Dictionary of the English Language, 5th Edition
Find Similar Words
Find similar words to functor using the buttons below.