forgetful functor from Ab to Grp

1. Definition

The forgetful functor from Category Ab to category Group is defined as functor

\begin{align*} \mathrm{ForgetGrp}: \mathrm{Ab} \rightarrow& \mathrm{Grp} \\ G \mapsto& G \\ (\varphi: G \rightarrow H) \mapsto& (\varphi: G \rightarrow H) \end{align*}

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 00:04