Ta la teorie di categorie, 1 al è cualchi volte usât par denotâ l’ogjiet terminâl di une categorie.