Есть ли полиморфизм в языках с динамической типизацией?
Полиморфи́зм — возможность объектов с одинаковой спецификацией иметь различную реализацию.
Динамическая типизация тут никаким боком. А абстрактные классы и наследование у python в наличии
Полиморфизм - относится к базовым возможностям ООП. Тоесть к способности рассматривать объекты сквозь призму базового интерфейса. 

Типизация - это обычно свойство компиллятора (или рантайма) по определению выводу типа каждой переменной. 

Это две разных оси измерений вобщем-то. Квадрат по сути ч 4 ячейками. Есть полиморфизм или нет. И статический тип или динамический.