Definition of Bifunctor. Meaning of Bifunctor. Synonyms of Bifunctor

- {\displaystyle \left(F^{\mathrm {op} }\right)^{\mathrm {op} }=F} . A bifunctor (also known as a binary functor) is a functor whose domain is a product...
- B′. The commutativity of the above diagram implies that Hom(–, –) is a bifunctor from C × C to Set which is contravariant in the first argument and covariant...
- Cartesian product of two sets. Product categories are used to define bifunctors and multifunctors. The product category C × D has: as objects: pairs of...
- they are given by groupoids A {\displaystyle \mathbb {A} } which have a bifunctor + : A × A → A {\displaystyle +:\mathbb {A} \times \mathbb {A} \to \mathbb...
- or map object. It appears in one way as the representation canonical bifunctor; but as (single) functor, of type [ X , − ] {\displaystyle [X,-]} , it...
- Let I be a finite category and J be a small filtered category. For any bifunctor F : I × J → S e t , {\displaystyle F:I\times J\to \mathbf {Set} ,} there...
- category) is a category C {\displaystyle \mathbf {C} } equipped with a bifunctor ⊗ : C × C → C {\displaystyle \otimes :\mathbf {C} \times \mathbf {C} \to...
- In terms of category theory, this means that the tensor product is a bifunctor from the category of vector spaces to itself. If f and g are both injective...
- noncommutative topology. KK-theory was followed by a series of similar bifunctor constructions such as the E-theory and the bivariant periodic cyclic theory...
- _{R}-:{\text{Mod-}}R\times R{\text{-Mod}}\longrightarrow \mathrm {Ab} } is a bifunctor which accepts a right and a left R module pair as input, and ****igns them...