bifunctor

См. также в других словарях:

• 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

• 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

• Monoidal category — In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C which is associative, up to a natural isomorphism, and an object I which is both a left and right identity for ⊗, again up to a… …   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

• Tensor product — In mathematics, the tensor product, denoted by otimes, may be applied in different contexts to vectors, matrices, tensors, vector spaces, algebras, topological vector spaces, and modules. In each case the significance of the symbol is the same:… …   Wikipedia

• Function space — In mathematics, a function space is a set of functions of a given kind from a set X to a set Y . It is called a space because in many applications, it is a topological space or a vector space or both. ExamplesFunction spaces appear in various… …   Wikipedia

• Bicategory — In mathematics, a bicategory is a concept in category theory used to extend the notion of category to handle the cases where the composition of morphisms is not (strictly) associative, but only associative up to an isomorphism. The notion was… …   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

• Product category — In the mathematical field of category theory, the product of two categories C and D , denoted nowrap| C × D and called a product category, is a straightforward extension of the concept of the Cartesian product of two sets.DefinitionThe product… …   Wikipedia

• KK-theory — This article is on the generalization of operator K theory and K homology. For the epistemological concept, see KK principle. In mathematics, KK theory is a common generalization both of topological K homology and K theory (more precisely… …   Wikipedia