кто-то мог объяснить соединение между ковариантностью/контравариантностью типа и теорией категорий?

Я только начинаю читать о теории категорий и был бы очень признателен за ее, если кто-то мог бы объяснить соединение между контравариантностью/ковариантностью CS и теорией категорий. Чем были бы некоторые категории в качестве примера (т.е. каковы их объекты/морфизмы?)?Заранее спасибо?