Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
|
| gptkbp:categoryOfFunctor |
gptkb:Mod_R
Set Ab |
| gptkbp:codomain |
Set
|
| gptkbp:contravariantInFirstArgument |
true
|
| gptkbp:covariantInSecondArgument |
true
|
| gptkbp:domain |
gptkb:dictionary
|
| gptkbp:field |
gptkb:category_theory
|
| gptkbp:generalizes |
morphism set
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hom functor
|
| gptkbp:introduced |
gptkb:Saunders_Mac_Lane
gptkb:Samuel_Eilenberg |
| gptkbp:introducedIn |
1945
|
| gptkbp:mapsPairOfObjectsToSet |
true
|
| gptkbp:notation |
Hom(-, -)
Hom_C(-, -) |
| gptkbp:relatedConcept |
gptkb:Hom-set
gptkb:Yoneda_lemma |
| gptkbp:type |
bifunctor
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:topology representation theory homological algebra |
| gptkbp:bfsParent |
gptkb:Functor
|
| gptkbp:bfsLayer |
5
|