catégorie (N) — catégorifier (V)
catégorifier : Exprimer en termes de théorie des catégories.