Википедия
Подфунктор
В теории категорий , подфунктор — специальный тип функтора в Set, использующий определение подмножества .