Prova della descrizione di una categoria