functor


Also found in: Dictionary, Acronyms, Wikipedia.

functor

[′fəŋk·tər]
(computer science)
(mathematics)
A function between categories which associates objects with objects and morphisms with morphisms.

functor

In category theory, a functor F is an operator on types. F is also considered to be a polymorphic operator on functions with the type

F : (a -> b) -> (F a -> F b).

Functors are a generalisation of the function "map". The type operator in this case takes a type T and returns type "list of T". The map function takes a function and applies it to each element of a list.
References in periodicals archive ?
Again we have a change of category for the base pot--a conversion mediated by a functor.
Remember that the functor F maps category objects as well as morphisms.
On the other hand, we may also introduce the inverse image functor associated with the formal structure sheaves via the continuous morphism
Define a functor F: QHG [right arrow] AQHG by F((H, x)) = (D(H), *) = ([[DELTA].
Jamwal and Shakeel Ahmed, Finitisticness of L-topological spaces under Sum and Lowen Functor Omega, Abstract conf.
This expression then meets the selection restriction of the functor.
In relationship to manifold structures, the Yoneda lemma says that any space or manifold M is uniquely determined by the categorical functor
As shown in Figure 5(a), taking a meta-framework M-FRM from M-FRM-SPEC, if a refinement path f3 o f2 o f1 already exists, by constructing a functor h1: FRM1 [right arrow] FRM2, we can work out the refinement path for FRM2 without refining [g.
Less/laes is, whatever else, a determinative that takes a partitive functor as a complement.
Note that this holds regardless of the fact that the I-topic in this case is not an argument of the VERB but rather a functor that (via identification with OP) has scope over the verb.
In other words, children at Level 1 do not think that functor words such as "the" are written.
A functor is a sign that attaches to one or more expressions of given grammatical kind or kinds to produce an expression of a given grammatical kind.