Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appearsIn |
gptkb:nLab
gptkb:Wikipedia Mac Lane's 'Categories for the Working Mathematician' |
| gptkbp:component |
gptkb:dictionary
|
| gptkbp:describes |
set of morphisms between two objects in a category
|
| gptkbp:field |
gptkb:category_theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hom-set
|
| gptkbp:notation |
Hom(A,B)
Hom_C(A,B) |
| gptkbp:property |
can be infinite
can be finite can be empty |
| gptkbp:relatedTo |
gptkb:Functor
gptkb:dictionary gptkb:Endomorphism morphism isomorphism natural transformation Automorphism object (category theory) |
| gptkbp:usedIn |
definition of functor
definition of isomorphism definition of natural transformation |
| gptkbp:bfsParent |
gptkb:Hom_functor
|
| gptkbp:bfsLayer |
6
|