Рефлексивное Пространство

- непрерывное отображение f топологич. Пространства Xна его подпространство А, тождественное на А, то есть такое, что f(x) = x при всех М. И. Войцеховский.. ..

а л г о р и т м и ч е с к и й я з ы к р ек у р с и в н ы х ф у н к ц и й,- алгоритмический язык, ориентированный на задачи преобразования символьной информации. В первоначальном варианте назывался "метаалгоритмическим языком" (см. |1]). Р. Был создан как универсальный метаязык для описания преобразований языковых объектов. Он используется для трансляции с одного алгоритмич. Языка на другой, для машинного выполнения аналитич. Выкладок, доказательства теорем, перевода с естественных языков и т. П..

- одно из свойств бинарных отношений. Отношение Rна множестве Аназ. Р е фл е к с и в н ы м, если aRa для любого . Примерами рефлексивных отношений являются равенство, эквивалентность, порядок. Т. С. Фофанова.. ..

подкатегория, содержащая "наибольшую" модель любого объекта категории. Точнее, полная подкатегория категории наз. Р е ф л е к т и в н о й, если содержит -рефлектор (см. Рефлектор).для любого объекта категории. Полная подкатегория категории рефлективна тогда и только тогда, когда функтор вложения обладает сопряженным слева функтором Функтор Sсопоставляет каждому объекту Аиз его -рефлектор S(А);морфизмы , входящие в определение -рефлектора, определяют естественное преобразование тож..