category_theory


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: