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