hom-set
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Short for "homomorphism set", because in some categories the morphisms are homomorphisms.
Noun
[edit]- (category theory) The set or collection of all morphisms from A to B for some given ordered pair (A, B) of objects from some given category.
Usage notes
[edit]- A hom-set may be denoted as for objects X and Y in a category . It may also be denoted as ; or, letting be implicit, simply as .