Definition:Morphism

Definition
Let $\mathbf C$ be a metacategory.

A morphism of $\mathbf C$ is an object $f$, together with:


 * A domain $\operatorname{dom} f$, which is an object of $\mathbf C$
 * A codomain $\operatorname{cod} f$, also an object of $\mathbf C$

The collection of all morphisms of $\mathbf C$ is denoted $\mathbf C_1$.

If $A$ is the domain of $f$ and $B$ is its codomain, this is mostly represented by writing:


 * $f: A \to B$ or $A \stackrel{f}{\longrightarrow} B$

Remark
A morphism is one of the two basic concepts of a metacategory, and therefore of category theory.

The other one is the notion of an object.

Thus in order to discuss a particular metacategory, it is necessary to specify what exactly its morphisms are.

Also known as
Various other names for morphism include arrow and edge.

Awodey, in, takes the arrow analogy further by proposing the term archery in place of category theory.

Also see

 * Object (Category Theory)
 * Metacategory
 * Identity Morphism