El conjunto vacío (considerado como un espacio topológico) es el objeto inicial de formula_1; cualquier topología sobre un conjunto de un solo elemento es un objeto terminal de formula_1.