Examples of using Functor in English and their translations into Romanian
{-}
-
Colloquial
-
Official
-
Medicine
-
Ecclesiastic
-
Ecclesiastic
-
Computer
-
Programming
Opposite functor.
Functor of the Royal House.
The identity functor is an endofunctor.
The following pages link to Functor.
The functor Ext and the functor Tor.
It can be seen as a functor in two arguments.
A functor F from C to D is a mapping that[3].
Equivalences of categories, Functor Categories.
Functor- Italian translation- bab. la English-Italian dictionary.
For example, the Hom functor is of the type Cop× C→ Set.
The Hom functor is a natural example; it is contravariant in one argument, covariant in the other.
Two important consequences of the functor axioms are.
A multifunctor is a generalization of the functor concept to n variables.
Identity of composition of functors is identity functor.
We thus obtain a functor from the category of pointed topological spaces to the category of groups.
Similar remarks apply to the colimit functor(which is covariant).
Identity functor: in category C, written 1C or idC, maps an object to itself and a morphism to itself.
We then define a contravariant functor F from C to D as a mapping that.
Endofunctor: A functor that maps a category to that same category; e.g., polynomial functor. .
Diagram: For categories C and J, a diagram of type J in C is a covariant functor D: J→ C{\displaystyle D\colon J\to C}.
A bifunctor(also known as a binary functor) is a functor whose domain is a product category.
Doing this constructions pointwise gives the tangent space, a covariant functor from the category of pointed differentiable manifolds to the category of real vector spaces.
The word functor was borrowed by mathematicians from the philosopher Rudolf Carnap,[1] who used the term in a linguistic context;[2] see function word.
Cotangent space is a contravariant functor, essentially the composition of the tangent space with the dual space above.
Diagonal functor: The diagonal functor is defined as the functor from D to the functor category DC which sends each object in D to the constant functor at that object.
The collection of all functors C→ D{\displaystyle{\mathcal{C}}\to{\mathcal{D}}} form the objects of a category: the functor category.
Limit functor: For a fixed index category J, if every functor J→ C has a limit(for instance if C is complete), then the limit functor CJ→ C assigns to each functor its limit.
Note that one can also define a contravariant functor as a covariant functor on the opposite category C o p{\displaystyle C^{\mathrm{ op}}}.[4] Some authors prefer to write all expressions covariantly.
Constant functor: The functor C→ D which maps every object of C to a fixed object X in D and every morphism in C to the identity morphism on X. Such a functor is called a constant or selection functor. .
For instance, the programming language Haskell has a class Functor where fmap is a polytypic function used to map functions(morphisms on Hask, the category of Haskell types)[9] between existing types to functions between some new types.[10].