ФУНКТОРЫ

Функторы – в теории категорий отображения между категориями, переводящие объекты и морфизмы одной категории в другую, сохраняя композицию и тождества (ковариантные/контравариантные). Они структурируют «мосты» между теориями (например, функторы забывания, свободные функторы), лежат в основе адъюнкций и естественных преобразований. В информатике (функциональное программирование) «функтор» — типовой конструктор с операцией map, удовлетворяющий законам ковариантности (List, Option и т.п.), ключевой для абстракций над эффектами. В лингвистике термин иногда используют для служебных элементов, задающих синтаксические отношения, однако в формальной семантике ближе к типовым преобразованиям между доменами значений.

ФУНКТОРЫ — термин энциклопедии по психиатрии.