functor

Popularity

500+ learners.

Translator
Examples

This way, it is possible to call up the same lambda functor with different types of arguments.	De este modo, es posible llamar al mismo functor de lambda con distintos tipos de argumentos.
They introduced the terms functor and natural isomorphism and, in 1945, added the terms category and natural transformation.	Ellos introdujeron los términos y Funtor isomorfismo natural y, en 1945, añade los términos categoría y transformación natural.
Thus the E functor `→', duly strengthened, receives an appealing construal as meaning `to the extent [at least] that'.	Así el functor `→'de E, debidamente fortalecido, recibe una atractiva interpretación como `en la medida [por lo menos] en que'.
Provided with such a reading, the functor has to be stronger than the original E arrow, under natural assumptions concerning the structure of truth degrees.	Dotado de tal lectura, el functor ha de ser más fuerte que la flecha original de E, bajo presuposiciones naturales acerca de la estructura de los grados de verdad.
Entailment, duly strengthened, is a functor sensitive to degree differences, whereas the mere conditional, `⊃', only takes into account whether formulae are completely false or not.	El entrañamiento, debidamente reforzado, es un functor sensible a las diferencias de grado, mientras que el mero condicional, `⊃', solo toma en cuenta si las fórmulas son completamente falsas o no.
K 0 (M) is defined as the Grothendieck group of V (M) and is also a contravariant functor from the category of compact spaces to the category of Abelian groups.	K 0 (M) se define como el grupo de Grothendieck de V (M), y contin' ua siendo un functor contravariante, ahora de la categor'ıa de los espacios compactos en la de los grupos abelianos.
Classical negation is complete negation—the functor which maps anything true, to whatever extent, into complete falsehood, and the utterly false into complete truth.	La negación clásica es negación completa --el functor que envía lo [en una u otra medida] verdadero sobre la falsedad completa, y lo del todo falso sobre la verdad completa.