Definition:Composable Morphisms

Definition
Let $\mathbf C$ be a metacategory.

Let $f, g \in \mathbf C_1$ be morphisms of $\mathbf C$.

Then $f$ is said to be composable with $g$ iff:


 * $\operatorname{cod} f = \operatorname{dom} g$

that is, iff the codomain of $f$ is the domain of $g$.

Also see

 * Morphism