- n-местный функтор
- мат. n-argument functor, n-place functor
Большой англо-русский и русско-английский словарь. 2001.
n-местный функтор
Смотреть что такое "n-местный функтор" в других словарях:
ФУНКТОР — отображение одной категории в другую, согласованное со структурой категории. Точнее, одноместным ковариантным функтором из категории в категорию или, короче, Ф. из в наз. пара отображений обозначаемых обычно одной и той же буквой, напр. F… … Математическая энциклопедия
МНОГОМЕСТНЫЙ ФУНКТОР — мультифунктор, функция от нескольких аргументов, определенная на категориях, принимающая значения в категории и задающая одноместный функтор по каждому аргументу. Более точно, пусть даны га категорий , Построим декартово произведение категорий… … Математическая энциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
