What is the translation of " FUNCTOR " in Spanish?

• funtor
• functor

Examples of using Functor in English and their translations into Spanish

The functor is in the two categories.
El functor… está en las dos categorías.

A particularly common type of functor is the predicate.
El tipo más común de proformas son los pronombres.

Flat resolutions can be used to compute the Tor functor.
Las resoluciones planas se usan para calcular el funtor Tor.

Because ContentF is a Functor, we automatically get a Monad instance for Free ContentF.
Como ContentF es un Functor, obtenemos automáticamente una instancia Monad para Free ContentF.

(Difficult) Every monad has a default Functor instance given by.
(Difícil) Toda mónada tiene una instancia de Functor por defecto dada por.

There is an inclusion functor: Set→ Med↪ Mag as trivial magmas, with operations given by projection: x T y y.
Hay un funtor de inclusión de Set a Med como magmas triviales, con operaciones: las proyecciones(la derecha, por ejemplo): x T y y.

With this understanding, a left R-module is nothing but a(covariant) additive functor from R to the category Ab of abelian groups.
Con esta comprensión, un R-módulo izquierdo es un funtor aditivo(covariante) de R a la categoría Ab grupos abelianos.

Now, it isn't considered on a fixed dimension but on all the dimensions at the same time, namely, topological field theory is viewed as a functor.
Ahora, no consideramos una dimensión fija sino todas las dimensiones al mismo tiempo, a saber, la TTCC es vista como un funtor.

This construction makes simplicial homology a functor from simplicial complexes to abelian groups.
Esta construcción hace a la homología simplicial un functor de un complejo simplicial a grupos abelianos.

Let G: D→ Ab be the functor which assigns to each homomorphism its kernel and let F: Ab→ D be the functor which maps the group A to the homomorphism A→ 0.
Sea G: D→ Ab el funtor que asigna a cada homomorfismo su núcleo y sea F: Ab→ D el morfismo que mapea al grupo A al homomorfismo A→ 0.

If F{\displaystyle F} and G{\displaystyle G} are inverse functors, the corresponding monad is the identity functor.
Si F y G son funtores inversos, la correspondiente mónada es el functor identidad.

Left and right exact functors are ubiquitous mainly because of the following fact: if the functor F is left adjoint to G, then F is right exact and G is left exact.
Existe un teorema que nos asegura que si F y G son funtores y F es adjunto izquierdo de G entonces F es exacto derecho y G es exacto izquierdo.

A commutative diagram in a category C can be interpreted as a functor from an index category J to C; one calls the functor a diagram.
Un diagrama conmutativo en una categoría C puede ser interpretado como un functor de una categoría indexada J en C; uno llama a ese functor diagrama.

The category of all endofunctors on a category C is a strict monoidal category with the composition of functors as the product and the identity functor as the unit.
La categoría de todos los endofuntores de una categoría C es una categoría monoidal estricta, con la composicíón de funtores como el producto y el funtor identidad como objeto identidad.

A proof from the Grundlagen der Mathematik that a sufficiently strong consistent theory cannot contain its own reference functor is now known as the Hilbert-Bernays paradox.
Una prueba de Grundlagen der Mathematik de que una teoría suficientemente fuerte y consistente no puede contener su propio funtor de referencia es ahora conocida como la paradoja de Hilbert-Bernays.

The basic idea is that a TQFT is a functor from a certain category of cobordisms to the category of vector spaces.
La idea básica es que una TTCC es un funtor de una determinada categoría de cobordismos a la categoría de espacios vectoriales.

This"vertical composition" of natural transformation is associative and has an identity, and allows one to consider the collection of all functors C→ D itself as a category see below under Functor categories.
Esta composición de la transformación natural es asociativa, y permite considerar la colección de todos los funtores C→ D como categoría en sí misma véase abajo Categorías de funtores.

In the language of category theory, the functor which sends(X, τ) to(X, ρ) is left adjoint to the inclusion functor CReg→ Top.
En el lenguaje de teoría de categorías, el funtor que manda(X, τ) en(X, ρ) es adjunto a izquierda al funtor inclusión CReg→ Top.

The question of points was close to resolution by 1950; Alexander Grothendieck took a sweeping step(invoking the Yoneda lemma) that disposed of it- naturally at a cost, that every variety or more general scheme should become a functor.
La cuestión de los puntos estaba cerca de su resolución cerca de 1950 cuando Grothendieck tomó un enfoque que(apelando al lema de Yoneda) terminó con él- naturalmente con un coste, que cada variedad o más en general esquema debía convertirse en funtor.

Alternatively one can observe that the functor that for each group takes the underlying monoid(ignoring inverses) has a left adjoint.
Alternativamente uno puede observar que el funtor que para cada grupo toma el monoide subyacente(que ignora el inverso) tiene un adjunto izquierdo.

This functor has a left adjoint(sending every set to that set equipped with the equality relation) and a right adjoint sending every set to that set equipped with the total relation.
El funtor de olvido tiene un adjunto izquierdo(que equipa un conjunto dado con la topología discreta) y un adjunto derecho que equipa un conjunto dado con la topología trivial.

If X is a topological space, we can consider the abelian category of all sheaves of abelian groups on X. The functor which associates to each sheaf F the group of global sections F(X) is left-exact.
Si X es una espacio topológico, podemos considerar la categoría de gavillas de grupos abelianos en X. El funtor que asocia a cada gavilla G el grupo de secciones globales G(X) es exacto izquierdo.

It also induces a functor f -1 from the category of sheaves of abelian groups on Y to the category of sheaves of abelian groups on X, the inverse image functor. f -1 is left adjoint to f∗.
También induce un funtor f* de la categoría de haces en Y a la categoría de haces en X, el funtor imagen inversa. f* es el adjunto izquierdo a f.

From the category theory point of view, a state monad is derived from the adjunction between the product functor and the exponential functor, which exists in any cartesian closed category by definition.
Desde el punto de vista de la teoría de las categorías, una mónada estado es derivada de la conjunción entre el funtor producto y el funtor exponencial, el cual existe en cualquier categoría cartesiana cerrada por definición.

Grp2→ Grp the functor which assigns to each pair(X1, X2) the product group X1×X2, and let Δ: Grp→ Grp2 be the diagonal functor which assigns to every group X the pair(X, X) in the product category Grp2.
Grp→ Grp² sea el funtor que asigna a cada grupo X el par(X, X) en la categoría producto Group2, y G: Group²→ Grp el funtor que asigna a cada par(Y1, Y2) el grupo producto Y1xY2.

These maps are"natural" in the following sense: the double dual operation is a functor, and the maps are the components of a natural transformation from the identity functor to the double dual functor..
Estas funciones son"naturales" en el sentido siguiente: la operación dual doble es un funtor, y los funciones forman una transformación natural del funtor identidad al funtor doble dual.

The degree to which a left exact functor fails to be exact can be measured with its right derived functors; the degree to which a right exact functor fails to be exact can be measured with its left derived functors..
El grado con el cual un funtor exacto izquierdo falla de ser exacto puede ser medido con sus funtores derivados derechos y el grado con el cual un funtor exacto derecho falla de ser exacto puede ser medido con sus funtores derivados izquierdos.

One also talks about injective objects in categories more general than module categories, for instance in functor categories or in categories of sheaves of OX-modules over some ringed space X, OX.
Uno también habla de objetos inyectivos en categorías más generales que las categorías de módulos, por ejemplo en categorías de funtores o en categorías de haces de OX módulos sobre un cierto espacio anillado X, OX.

Every continuous map f: X→ Y between topological spaces induces a functor f∗ from the category of sheaves(of sets, or abelian groups, or rings…) on X to the corresponding category of sheaves on Y, the direct image functor.
Cada función continua f: X→ Y entre espacios topológicos induce un funtor f* de la categoría de haces(de conjuntos, o de grupos abelianos, o de anillos…) en X a la categoría correspondiente de haces en Y, el funtor imagen directa.

This suggests that, if C is any preadditive category, a covariant additive functor from C to Ab should be considered a generalized left module over C; these functors form a functor category C-Mod which is the natural generalization of the module category R-Mod.
Esto sugiere que, si C es cualquier categoría preaditiva, un funtor aditivo covariante de C a Ab sea considerado un módulo izquierdo generalizado sobre C; estos funtores forman una categoría de funtores C-Mod que es la generalización natural de la categoría de módulos R-Mod.

How to use "functor" in an English sentence

function caller for const functor class.

Hash functor specialization for ServiceRegistrationBase objects.

inlining functions called through functor parameters?

One surplus refinement functor per grid.

One volume refinement functor per grid.

the Functor fmap function for you.

Enable deriving for the Functor class.

Functor Promise together with Maybe applicative.

Single "folded" functor representing the chain.

Implementation helper for functor based forEachRange.

How to use "funtor, functor" in a Spanish sentence

Procedamos, pues, a la enunciación de los funtores de clases: - Funtor complementario:.

Functor Promise together with Maybe applicative.

De hecho, sería válido para un funtor aplicativo realizar sus efectos secundarios en paralelo.

the Functor fmap function for you.

Un C-prehaz sobre X ye entós un funtor contravariante dende TopX a C.

Finalmente, podemos elevar el constructor Cons sobre el funtor aplicativo f para combinar estos dos resultados.

Retomemos la coálgebra final del funtor $A\times(-)$.

Este funtor se llama V y proporciona la capacidad de devolver errores en cualquier semigrupo.

Especialicemos todavía más al caso en que m es el funtor aplicativo V Errors de arriba.?

Este funtor es fiel, y por lo tanto Top es una categoría concreta.