# Morphism

The notion of morphism in category theory is that it is an arrow between two objects.

# Definition

Given two objects in a category, say $x$ and $y$, there is a set $\text{hom}(x,y)$, called a hom-set, whose elements are morphisms from $x$ to $y$. Given a morphism $f$ in this hom-set, we write $f: x\rightarrow y$ to indicate that it goes from $x$ to $y$.