structure functor
Смотреть что такое "structure functor" в других словарях:
Structure Mapping Engine — In artificial intelligence and cognitive science, the structure mapping engine is an implementation in software of an algorithm for analogical matching based on the psychological theory of Dedre Gentner [1983] . The basis of Gentner s structure… … Wikipedia
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
Structure (category theory) — In mathematics, progress often consists of recognising the same structure in different contexts so that one method exploiting it has multiple applications. In fact this is a normal way of proceeding; in the absence of recognisable structure… … Wikipedia
Forgetful functor — In mathematics, in the area of category theory, a forgetful functor is a type of functor. The nomenclature is suggestive of such a functor s behaviour: given some object with structure as input, some or all of the object s structure or properties … 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
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
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
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … 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
Reduction of the structure group — In mathematics, in particular the theory of principal bundles, one can ask if a G bundle comes from a subgroup H < G. This is called reduction of the structure group (to H), and makes sense for any map H o G, which need not be an inclusion… … Wikipedia
