Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
|
| gptkbp:appearsIn |
Eilenberg–Mac Lane 1945 paper
|
| gptkbp:category |
gptkb:topology
abelian category category of sets |
| gptkbp:codomain |
Set
|
| gptkbp:contravariantIn |
first argument
|
| gptkbp:covariantIn |
second argument
|
| 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:mapType |
pair of objects to set of morphisms
|
| gptkbp:notation |
Hom(-,-)
Hom_C(-,-) |
| gptkbp:relatedTo |
gptkb:Yoneda_embedding
representable functor |
| gptkbp:type |
bifunctor
|
| gptkbp:usedIn |
gptkb:algebraic_geometry
gptkb:Yoneda_lemma functional analysis representation theory homological algebra |
| gptkbp:bfsParent |
gptkb:Representable_functor
|
| gptkbp:bfsLayer |
6
|