ein Funktor \( \mathcal{C}\to \mathcal{S} \) von einer Kategorie \(\mathcal{C}\), deren Objekte Mengen mit algebraischen Strukturen sind, in die Kategorie \(\mathcal{S}\) der Mengen.

Bei den Objekten wird deren algebraische Struktur „vergessen“, d. h., sie werden lediglich als Mengen aufgefaßt. Die Morphismen werden als Mengenabbildungen aufgefaßt.

Der Begriff wird auch verwendet, falls nur ein Teil der algebraischen Struktur „vergessen“ wird, etwa dann, wenn man von der Kategorie der Algebren über einem Körper 𝕂 zur Kategorie der Vektorräume über 𝕂 übergeht.