- терминальный морфизм
- мат. terminal morphism
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Морфизм — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
Теория категорий — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… … Википедия
Категория (математика) — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
Контравариантный функтор — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
Пучок (математика) — У этого термина существуют и другие значения, см. Пучок. Пучки используются для установления отношений между локальными и глобальными данными. По этой причине они играют значительную роль в топологии, дифференциальной геометрии и алгебраической… … Википедия
Произведение (теория категорий) — Произведение двух или более объектов это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. Произведение семейства объектов это в… … Википедия
ПРОИЗВЕДЕНИЕ — семейства объектов категории понятие, описывающее на языке морфизмов конструкцию декартова произведения. Пусть индексированное семейство объектов категории . Объект (вместе с морфизмами ) наз. произведением семейства объектов , если для всякого… … Математическая энциклопедия
СПЕКТР — прямой и обратный спектр в категории Прямым спектром в категории наз. семейство объектов с индексами из направленного множества и семейство морфизмов из (определенных при для к рых: Можно определить категорию … Математическая энциклопедия
Элементарный топос — См. также: Топос Гротендика В теории категорий элементарный топос это категория, в некотором смысле похожая на категорию множеств. В рамках теории элементарных топосов может быть описана аксиоматика как самой теории множеств, так и… … Википедия