De aquí se pueden derivar los siguientes hechos, alguno, como el del clasificador de subobjetos, muy importante para la comprensión del concepto de topos: