Початковий та термінальний об'єкти

(Перенаправлено з Початковий об'єкт)

Початковий об'єкт (відштовхуючий об'єкт, універсальний об'єкт) — в теорії категорій, це такий об'єкт I категорії C, що для кожного об'єкта X в C, існує єдиний морфізм IX.

Термінальний об'єкт (притягуючий об'єкт, фінальний об'єкт) — в теорії категорій, це такий об'єкт T категорії C, що для кожного об'єкта X в C, існує єдиний морфізм XT.

Якщо об'єкт є одночасно і початковим і термінальним, то він називається нульовим об'єктом.

ВластивостіРедагувати

  • Якщо в категорії існує початковий та/або термінальний об'єкт, то вони визначені однозначно.
  • Термінальні об'єкти є границями порожньої діаграми ∅ → C, тобто порожніми добутками. Початкові об'єкти є кограницями і порожніми кодобутками. З нього слідує, що функтор, який зберігає границі/кограниці, також зберігає термінальні/початкові об'єкти відповідно.

ПрикладиРедагувати


ДжерелаРедагувати

  • С. Маклейн Категории для работающего математика, — М: ФИЗМАТЛИТ, 2004. — 352 с. — ISBN 5-9221-0400-4.
  • Paolo Aluffi Algebra: Chapter 0 (Graduate Studies in Mathematics). — 2009, ISBN 0-8218-4781-3.