En la teoría de categorías, a veces se utiliza el 1 para denotar el objeto terminal de una categoría.