Foncteur dominant

De testwiki
Aller à la navigation Aller à la recherche

En théorie des catégories, une branche abstraite des mathématiques, un foncteur dominant est un foncteur F:CD tel que chaque objet de D soit une rétraction d'un objet de la forme F(X), où X est un objet de C[1].

Références

Modèle:RéférencesModèle:Palette Théorie des catégories Modèle:Portail