O polimorfismo é um conceito fundamental na programação orientada a objetos, possibilitando uma maior flexibilidade e uma reutilização de código, além de promover a modularidade e a extensibilidade do sistema. A literatura apresenta quatro tipos de polimorfismo: coerção, de inclusão, paramétrico e sobrecarga. Esses tipos de polimorfismo, por sua vez, são agrupados em duas categorias: ad-hoc e universal.

Assinale a alternativa que classifica corretamente as categorias dos polimorfismos de inclusão, paramétrico e sobrecarga, respectivamente.