Morphism
Morphism, or sometimes called arrow in category theory, is a map between one mathematical structure to the next.
For example, in category theories, a morphism is a function between objects. In linear algebra, a morphism is a linear map.
Axioms of Composition
Morphism can be composed, and the composition follows the following axioms:
- associativity:
- Identity: For every object A there is a morphism which is a unit of composition: