Початковий та термінальний об'єкти
Початковий об'єкт (відштовхуючий об'єкт, універсальний об'єкт) — в теорії категорій, це такий об'єкт I категорії C, що для кожного об'єкта X в C, існує єдиний морфізм I → X.
Термінальний об'єкт (притягуючий об'єкт, фінальний об'єкт) — в теорії категорій, це такий об'єкт T категорії C, що для кожного об'єкта X в C, існує єдиний морфізм X → T.
Якщо об'єкт є одночасно і початковим і термінальним, то він називається нульовим об'єктом.
Властивості
- Якщо в категорії існує початковий та/або термінальний об'єкт, то вони визначені однозначно.
- Термінальні об'єкти є границями порожньої діаграми ∅ → C, тобто порожніми добутками. Початкові об'єкти є кограницями і порожніми кодобутками. З нього слідує, що функтор, який зберігає границі/кограниці, також зберігає термінальні/початкові об'єкти відповідно.
Приклади
- В категорії множин Set: початковим об'єктом є порожня множина, термінальним об'єктом є всі синґлетони, а нульового об'єкта не має.
- В категорії множин з відношеннями Rel нульовим об'єктом є порожня множина.
- В категорії множин з відміченою точкою нульовим об'єктом є синґлетон.
- В категорії груп Grp, категорії абелевих груп Ab, категорії модулів над кільцем та категорії векторних просторів існує нульовий об'єкт.
- ...
Джерела
- С. Маклейн Категории для работающего математика, — М: ФИЗМАТЛИТ, 2004. — 352 с. — ISBN 5-9221-0400-4.
- Paolo Aluffi Algebra: Chapter 0 (Graduate Studies in Mathematics). — 2009, ISBN 0-8218-4781-3.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.