Да, вы верно указали на три основных вида полиморфизма:

Полиморфизм подтипов $subtypepolymorphism$ - возможность использовать объекты различных классов, наследующих один и тот же интерфейс, без необходимости знать конкретный класс объекта.

Перегрузка операторов и методов $operatoroverloading,methodoverloading$ - возможность использовать одно и то то же имя метода или оператора для различных типов данных или аргументов.

Расширение методов $methodoverriding$ - возможность классам-наследникам переопределять методы своих родительских классов.

Также существует "ad hoc" полиморфизм, который включает в себя два дополнительных вида:

Параметрический полиморфизм $parametricpolymorphism,genericprogramming$ - возможность писать универсальный код, который может работать с любым типом данных без использования конкретного типа.

Подтип-полиморфизм $coercionpolymorphism,implicittypeconversion$ - автоматическое приведение типа данных во время выполнения программы для совместимости аргументов методов или операторов.

Все эти виды полиморфизма позволяют создавать гибкие и универсальные программы, способные работать с различными типами данных и объектами.