ФИНАЛЬНЫЙ ОБЪЕКТ

ФИНАЛЬНЫЙ ОБЪЕКТ

терминальный объект, категории - понятие, формализующее свойства одноточечного множества. Объект Ткатегории наз. финальным, если для любого объекта Xиз множество Н( Х, Т )состоит из одного морфизма. Ф. о. наз. также правым нулем категории Дуальным образом определяется левый нуль, или инициальный объект, категории.
В категории множеств Ф. о. являются одноточечные множества и только они. В любой категории с нулевыми объектами Ф. о. являются нулевые объекты. Нестандартные примеры Ф. о. возникают в различных категориях диаграмм, где понятие Ф. о. по существу эквивалентно понятию предела диаграммы. Напр., пусть и пусть - категория левых уравнителей пары другими словами, объекты - это морфизмы для к-рых а морфизмы из - это такие морфизмы для к-рых Ф. о. категории - это ядро пары морфизмов

М. Ш. Цаленко.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "ФИНАЛЬНЫЙ ОБЪЕКТ" в других словарях:

  • ГРУППОВОЙ ОБЪЕКТ — категории объект Xкатегории Стакой, что для любого множество морфизмов является группой, а соответствие функтором из категории Св категорию групп (Gr). Гомоморфизмом Г. о. X в Г. о. У наз. такой морфизм категории С, что для любого соответствующее …   Математическая энциклопедия

  • Язык программирования Java — Java Класс языка: объектно ориентированный, структурный, императивный Появился в: 1995 г. Автор(ы): Sun Microsystems Последняя версия: Java Standard Edition 6 (1.6.14) Т …   Википедия

  • Java — Иное название этого понятия  «Ява»; см. также другие значения. Не следует путать с JavaScript. Java Класс языка …   Википедия

  • Арзамасова, Елизавета Николаевна — Елизавета Арзамасова Елизавета Арзамасова 24 февраля 2009 года на пресс конференции, посвященной выходу фильма «Любовь в большом городе» …   Википедия

  • НЕОДЕТЕРМИНИЗМ — новая версия интерпретации феномена детерминизма (см. ДЕТЕРМИНИЗМ) в современной культуре, фундированная презумпциями нелинейности, отсутствия феномена внешней причины и отказа от принудительной каузальности. Если идея традиционного (линейного)… …   История Философии: Энциклопедия

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

  • НЕОДЕТЕРМИНИЗМ — новая версия интерпретации феномена детерминизма (см. Детерминизм) в современной культуре, фундированная презумпциями нелинейности, отсутствия феномена внешней причины и отказа от принудительной каузальности. Если идея традиционного (линейного)… …   История Философии: Энциклопедия

  • БИНАРИЗМ — понятие, актуализированное в контексте постмодернистской критики классического типа рациональности и фиксирующее фундированность западной ментальности дуальными семантико структурными (и соответственно семантико аксиологическими) оппозициями:… …   История Философии: Энциклопедия

  • ЛАКАН — (Lacan) Жак (1901 1981) французский психоаналитик и философ. Как автор концепции ‘структурного психоанализа’ Л. исходит из решительного разрыва с классической философией самосознания и классическим психоанализом в части его индивидуально… …   История Философии: Энциклопедия

  • ЛАЗАРСФЕЛЬД (LAZARSFELD) Пол Феликс — (1901 1976) американский социолог. Разрабатывал проблематику методологии социальных наук, а также применения математических методов в социальном познании. С точки зрения Л., методология есть прежде всего деятельность, связанная с критическим… …   Социология: Энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»