C#：方差（协方差逆变）是多态性的另一种说法吗

C#：方差（协方差/逆变）是多态性的另一种说法吗？

csharp
class Animal { }
class Cat : Animal { }
class Program
{
    static void Main(string[] args)
    {
        Animal[] animals = new Cat[5]; // 这是合法的
        animals[0] = new Cat(); // 这是合法的
        animals[1] = new Animal(); // 这是非法的，会抛出异常
    }
}

csharp
interface IRepository
{
    T Get();
}
class AnimalRepository : IRepository
{
    public Animal Get()
    {
        return new Animal();
    }
}
class CatRepository : IRepository
{
    public Cat Get()
    {
        return new Cat();
    }
}
class Program
{
    static void Main(string[] args)
    {
        IRepository animalRepository = new AnimalRepository(); // 这是合法的
        IRepository catRepository = new CatRepository(); // 这是合法的
        Animal animal = animalRepository.Get(); // 这是合法的
        Cat cat = catRepository.Get(); // 这是合法的
        animal = catRepository.Get(); // 这是合法的
    }
}