Hello,
Pour ceux qui font de la théorie des catégories, je cherche simplement la traduction française de la notion de "sieve" en anglais.
Rappel : dans une catégorie C, un "sieve" S sur un objet A de C est une collection de morphismes de codomaine A telle que tout autre morphisme (avec des domaines adéquats) composé avec l'un des morphismes de S, est un morphisme de S.
Merci
-----