Терминальный объект

Смотреть что такое "Терминальный объект" в других словарях:

• Терминальный символ — (терминал) Терминальный символ объект формального языка, имеющий в нём конкретное неизменяемое значение и являющийся элементом построения слов данного языка. Терминальный символ элемент последовательности объектов, обозначающий окончание данной… …   Википедия

• ФИНАЛЬНЫЙ ОБЪЕКТ — терминальный объект, категории понятие, формализующее свойства одноточечного множества. Объект Ткатегории наз. финальным, если для любого объекта Xиз множество Н( Х, Т )состоит из одного морфизма. Ф. о. наз. также правым нулем категории Дуальным… …   Математическая энциклопедия

• Теория категорий — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… …   Википедия

• Категория (математика) — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Контравариантный функтор — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Морфизм — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Пучок (математика) — У этого термина существуют и другие значения, см. Пучок. Пучки используются для установления отношений между локальными и глобальными данными. По этой причине они играют значительную роль в топологии, дифференциальной геометрии и алгебраической… …   Википедия

• Произведение (теория категорий) — Произведение двух или более объектов  это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. Произведение семейства объектов  это в… …   Википедия

• /МЭК МФС 11185-3 — ГОСТ Р ИСО/МЭК МФС 11185 3{ 98} Информационная технология. Функциональный стандарт. Профили FVT2nn. Базовый класс виртуальных терминалов. Регистр определений типов объектов управления. Часть 3. FVT215, FVT216 прикладной объект управления… …   Справочник ГОСТов

• Предпорядок — Предпорядок  это бинарное отношение на множестве, обладающее свойствами рефлексивности и транзитивности. Обычно это отношение обозначается тогда аксиомы предпорядка на множестве принимают вид …   Википедия