In sa teoria de sas categorias, 1 est carchi borta impreadu pro denotare s’ogetu terminale de una categoria.