Bifunctor

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
Category theory concept
gptkbp:definedIn Category theory
gptkbp:domain Product of two categories
gptkbp:example gptkb:Hom_functor
Cartesian product of sets
Tensor product of vector spaces
gptkbp:formalDefinition A functor F: C × D → E, where C, D, E are categories
gptkbp:generalizes gptkb:Functor
gptkbp:hasCodomain Category
https://www.w3.org/2000/01/rdf-schema#label Bifunctor
gptkbp:mapsMorphisms Pairs of morphisms to morphisms
gptkbp:mapsObjects Pairs of objects to objects
gptkbp:preservesComposition True
gptkbp:preservesIdentities True
gptkbp:relatedTo gptkb:Monoidal_category
Natural transformation
gptkbp:bfsParent gptkb:Functor
gptkbp:bfsLayer 5