Pozabljivi funktor

Iz MaFiRaWiki

Pozabljivi funktor U : C \to \mathbf{Set} je funktor iz kategorije matematičnih struktur, ki "pozabi" strukturo in ohrani samo množico, od pripadajočih morfizmov pa si "zapomni" samo to, da so funkcije. Pozabljivi funktor lahko pozabi tudi samo del strukture. Za pozabljivi funktor običajno zahtevamo, da ima levi adjunkt (sicer mu ne rečemo "pozabljivi"). Primeri:

Osebna orodja