Початковий об'єкт (відштовхуючий об'єкт, універсальний об'єкт) — в теорії категорій, це такий об'єкт I категорії C, що для кожного об'єкта X в C, існує єдиний морфізм I → X.
Термінальний об'єкт (притягуючий об'єкт, фінальний об'єкт) — в теорії категорій, це такий об'єкт T категорії C, що для кожного об'єкта X в C, існує єдиний морфізм X → T.
Якщо об'єкт є одночасно і початковим і термінальним, то він називається нульовим об'єктом.
Властивості Якщо в категорії існує початковий та/або термінальний об'єкт, то вони визначені однозначно. Термінальні об'єкти є границями порожньої діаграми ∅ → C, тобто порожніми добутками. Початкові об'єкти є кограницями і порожніми кодобутками. З нього слідує, що функтор, який зберігає границі/кограниці, також зберігає термінальні/початкові об'єкти відповідно.
Приклади В категорії множин : початковим об'єктом є порожня множина, термінальним об'єктом є всі синґлетони, а нульового об'єкта не має. В категорії множин з відношеннями нульовим об'єктом є порожня множина. В категорії множин з відміченою точкою нульовим об'єктом є синґлетон. В категорії груп , категорії абелевих груп , категорії модулів над кільцем та категорії векторних просторів існує нульовий об'єкт. ...
Джерела С. Маклейн Категории для работающего математика, — М: ФИЗМАТЛИТ, 2004. — 352 с. — ISBN 5-9221-0400-4. Paolo Aluffi Algebra: Chapter 0 (Graduate Studies in Mathematics). — 2009, ISBN 0-8218-4781-3.