expression would be verbally stated as " is a morphism from to ".

The expression - alternatively expressed as , , or - denotes the hom-class of all morphisms from to .

* A binary operation , called composition of morphisms, such that for any three objects ', ', and ', we haveThe composition of and is written as or , governed by two axioms:
*# Associativity: If , , and then
*# Identity:

1.Previous
3.Next