Кофунктор

Кофунктор — в теории категорий сущность (стрелка) дуальная к функтору.