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 .