Foncteur dominant
type de foncteur / De Wikipedia, l'encyclopédie encyclopedia
En théorie des catégories, une branche abstraite des mathématiques, un foncteur dominant est un foncteur tel que chaque objet de
soit une rétraction d'un objet de la forme
, où
est un objet de
[1].