Boa tarde Lucas, tudo bem contigo?
Polimorfismo é basicamente quando uma ou mais classes derivadas de uma mesma superclasse, respondem à mesma informação de maneiras diferentes, por exemplo quando é feita a sobrescrita dos métodos de uma superclasse na classe filha.
Uma outra forma de explicar seria assim:
A palavra polimorfismo significa "várias formas", ou seja, é a habilidade de que várias classes na mesma herança possam possuir comportamentos diferentes para o mesmo método.
Polimorfismo também se encaixaria nesse exemplo que você citou, quando usamos uma referência mais genérica para instanciar um objeto do tipo mais específico.
Espero ter ajudado!
Se tiver qualquer outra dúvida estarei por aqui :)