contravariant functor
Look at other dictionaries:
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
Functor category — In category theory, a branch of mathematics, the functors between two given categories can themselves be turned into a category; the morphisms in this functor category are natural transformations between functors. Functor categories are of… … Wikipedia
contravariant — adjective (Of a functor) which reverses composition … Wiktionary
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
Exact functor — In homological algebra, an exact functor is a functor, from some category to another, which preserves exact sequences. Exact functors are very convenient in algebraic calculations, roughly speaking because they can be applied to presentations of… … Wikipedia
Hom functor — In mathematics, specifically in category theory, Hom sets, i.e. sets of morphisms between objects, give rise to important functors to the category of sets. These functors are called Hom functors and have numerous applications in category theory… … Wikipedia
Derived functor — In mathematics, certain functors may be derived to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics. Contents 1 Motivation 2 Construction… … Wikipedia
Delta-functor — In homological algebra, a δ functor between two abelian categories A and B is a collection of functors from A to B together with a collection of morphisms that satisfy properties generalising those of derived functors. A universal δ functor is a… … Wikipedia
Ext functor — In mathematics, the Ext functors of homological algebra are derived functors of Hom functors. They were first used in algebraic topology, but are common in many areas of mathematics. Definition and computation Let R be a ring and let mathrm{Mod}… … Wikipedia
Inverse image functor — In mathematics, the inverse image functor is a contravariant construction of sheaves. The direct image functor is the primary operation on sheaves, with the simplest definition. The inverse image exhibits some relatively subtle… … Wikipedia
