Select Keyboard:
Türkçe ▾
  1. Türkçe
  2. English
  3. العربية
  4. Dansk
  5. Deutsch
  6. Ελληνικά
  7. Español
  8. فارسی
  9. Français
  10. Italiano
  11. Kurdî
  12. Nederlands
  13. Polski
  14. Português Brasileiro
  15. Português
  16. Русский
  17. Suomi
  18. Svenska
  19. 中文注音符号
  20. 中文仓颉输入法
X
"1234567890*-Bksp
Tabqwertyuıopğü,
CapsasdfghjklşiEnter
Shift<zxcvbnmöç.Shift
AltGr

functor

listen to the pronunciation of functor
Английский Язык - Турецкий язык
fonktör
izleç
Bir işlem ya da fonksiyonu gerçekleştiren
contravariant functor
kontravaryant fonktör
covariant functor
kovaryant fonktör
Английский Язык - Английский Язык
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 arrows of C to arrows of D such that any arrow f: X→Y of C is mapped to an arrow F(f): F(X) → F(Y) of D, such that if h = g \circ f then F(h) = F(g) \circ F(f), and such that identity arrows (and only identity arrows) are mapped to identity arrows. Note: the functor just described is covariant
a function word
a function object
A person who performs a function; a functionary or official
Characterized by its name, which is an atom, and the arity or number of arguements
Combination of name and arity of a compound term The term fooa, b, c is said to be a term belonging to the functor foo3 foo0 is used to refer to the atom foo
This is a generic module in SML It can be thought of as a function that generates a structure from one or more input structures See Also: generic, module, structure
A function symbol/arity pair These have the same role as records in other languages (structs in C) which is to aggregate data These are the data constructors in the context of type systems
a mapping between categories
contravariant functor
A functor which maps a function f: X → Y to a function F(f): F(Y) → F(X), such that if h = g \circ f, then F(h) = F(f) \circ F(g)
representable functor
Given a category C, a covariant representable functor hA sends each object X in category C to C(A,X), the set of arrows from A to X, and sends each arrow f: X → Y to a function from C(A,X) to C(A,Y) which maps each element s of C(A,X) to an element f \circ s of C(A,Y). A contravariant representable functor hA sends each object X in category C to set C(X,A) and each arrow f: X → Y to a function from C(Y,A) to C(X,A) which maps each element s of C(Y,A) to an element s\circ f of C(X,A). Note: hA: C → Sets and hA: Cop → Sets, because hA reverses the direction of the morphisms, whereas hA does not
functor
Избранное