Der Vergissfunktor ist nun ein Funktor in die Kategorie der Mengen, er „vergisst“ die Zusatzstruktur und weist jeder Gruppe die zugrundeliegende Menge und jedem Gruppenhomomorphismus die entsprechende Abbildung auf dieser Menge zu.