Monomorphism

Let be a Morphism in Category We say is a monomorphism if

for all We denote a monomorphism by

\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
A \arrow[r, tail, "f"] & B 
\end{tikzcd}
\end{document}

In Category of Sets, monomorphisms are injective.