functor

Popularity

500+ learners.

Traductor
Ejemplos

De este modo, es posible llamar al mismo functor de lambda con distintos tipos de argumentos.	This way, it is possible to call up the same lambda functor with different types of arguments.
Así el functor `→'de E, debidamente fortalecido, recibe una atractiva interpretación como `en la medida [por lo menos] en que'.	Thus the E functor `→', duly strengthened, receives an appealing construal as meaning `to the extent [at least] that'.
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.	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.
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.	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.
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.	Classical negation is complete negation—the functor which maps anything true, to whatever extent, into complete falsehood, and the utterly false into complete truth.
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.	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.
Hay, no obstante, una consideración similar respecto a otro principio clásico, también compatible con nuestra reforma de la implicación relevante como una functor que expresa que el grado de falsedad de la apódosis es a lo sumo tan alto como el de la prótasis.	But there is a similar consideration as regards another classical principle, compatible with our overhaul of relevant implication as a connective expressing that the degree of falseness of the apodosis is at most as high as that of the protasis.