Функторам: определение, значение, предложения

В дополнение к функторам типа класса в C++возможны и другие типы объектов функций.

Когда Y замкнуто в X, когомологии с поддержкой в Y могут быть определены как производные функторы функтора.

Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма.

Семейство языков программирования ML поддерживает универсальное Программирование с помощью параметрического полиморфизма и универсальных модулей, называемых функторами.

Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма.

Естественное преобразование - это отношение между двумя функторами.

Таким образом, применение функтора L дважды превращает предварительный пучок в пучок, и фактически LLF является связанным пучком aF.

Такая Переменная не может принимать в качестве значения член, составленный из функтора, применяемого к другим терминам.

Функциональные объекты часто называются функторами.

Универсальный элемент можно рассматривать как универсальный морфизм от одноточечного множества {•} до функтора F или как исходный объект в категории элементов F.