dual functor
Смотреть что такое "dual functor" в других словарях:
Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… … Wikipedia
Dual abelian variety — In mathematics, a dual abelian variety can be defined from an abelian variety A, defined over a field K. Contents 1 Definition 2 History 3 Dual isogeny (elliptic curve case) … Wikipedia
Dual space — In mathematics, any vector space, V, has a corresponding dual vector space (or just dual space for short) consisting of all linear functionals on V. Dual vector spaces defined on finite dimensional vector spaces can be used for defining tensors… … Wikipedia
Representable functor — In mathematics, especially in category theory, a representable functor is a functor of a special form from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures (i … Wikipedia
Monoidal functor — In category theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two monoidal categories consists of a functor between the categories, along with… … Wikipedia
Natural transformation — This article is about natural transformations in category theory. For the natural competence of bacteria to take up foreign DNA, see Transformation (genetics). In category theory, a branch of mathematics, a natural transformation provides a way… … Wikipedia
Pontryagin duality — In mathematics, in particular in harmonic analysis and the theory of topological groups, Pontryagin duality explains the general properties of the Fourier transform. It places in a unified context a number of observations about functions on the… … Wikipedia
Théorie des catégories — La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique théorique et en… … Wikipédia en Français
Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… … Wikipedia
Duality (mathematics) — In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one to one fashion, often (but not always) by means of an involution operation: if the dual… … Wikipedia
Universal property — In various branches of mathematics, certain constructions are frequently defined or characterised by an abstract property which requires the existence of a unique morphism under certain conditions. These properties are called universal properties … Wikipedia
