Математическая энциклопедия - финальный объект
Связанные словари
Финальный объект
терминальный объект, категории понятие, формализующее свойства одноточечного множества. Объект Ткатегории наз. финальным, если для любого объекта Xиз множество Н( Х, Т )состоит из одного морфизма. Ф. о. наз. также правым нулем категории Дуальным образом определяется левый нуль, или инициальный объект, категории.
В категории множеств Ф. о. являются одноточечные множества и только они. В любой категории с нулевыми объектами Ф. о. являются нулевые объекты. Нестандартные примеры Ф. о. возникают в различных категориях диаграмм, где понятие Ф. о. по существу эквивалентно понятию предела диаграммы. Напр., пусть и пусть категория левых уравнителей пары другими словами, объекты это морфизмы для к-рых а морфизмы из это такие морфизмы для к-рых Ф. о. категории это ядро пары морфизмов
М. Ш. Цаленко.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 558 | |
2 | 484 | |
3 | 482 | |
4 | 474 | |
5 | 455 | |
6 | 441 | |
7 | 438 | |
8 | 435 | |
9 | 426 | |
10 | 425 | |
11 | 423 | |
12 | 413 | |
13 | 407 | |
14 | 376 | |
15 | 376 | |
16 | 373 | |
17 | 367 | |
18 | 366 | |
19 | 365 | |
20 | 363 |