A category has three components:
A collection of objects.
A collection of morphisms, each of which map one object to another.
A notion of composition of these morphisms, i.e. morphisms can be composed. If f: A -> B and g: B -> C are morphisms, f.g generates a new morphism A -> C.
Note that a morphism 继续阅读 »