Top no es cartesianamente cerrada (y por lo tanto tampoco es un topos) puesto que no tiene objetos exponenciales.