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