Об'єкт категорії

Шаблон:Otheruses Об'єкт категорії - неозначуване поняття теорії категорій. Термін, використовуваний для позначення елементів довільної категорії, що грають роль множин, груп, топологічних просторів і т. п.

Кожна категорія складається з елементів двох класів, які називаються класом об'єктів і класом морфізмів відповідно.

Розподіл елементів категорії на об'єкти і морфізми має сенс тільки у межах фіксованої категорії, так як об'єкти однієї категорії можуть бути морфізмами іншої і навпаки.

Клас об'єктів категорії $𝒞$ зазвичай позначається $Ob𝒞$.

Будь-якому об'єкту $A$ категорії $𝒞$ однозначно відповідає одиничний морфізм $1_A:A\to A$, причому різним об'єктам відповідають різні одиничні морфізми.

Тому формально можна визначити поняття категорії тільки за допомогою морфізмів. Проте термін «об'єкт категорії» є зручним мовним засобом, який практично завжди використовується.

Деякі типи об'єктів

• Об'єкт $P\in Ob𝒞$ називається універсальним притягаючим (термінальним) об'єктом, якщо для будь-якого об'єкта $A\in Ob𝒞$ існує єдиний морфізм $A\stackrel{f}{⟶}P$.

• Об'єкт $R\in Ob𝒞$ називається універсальним відштовхуючим (ініціальним, початковим) об'єктом, якщо для будь-якого об'єкта $A\in Ob𝒞$ існує єдиний морфізм $R\stackrel{f}{⟶}A$.

• Об'єкт $R\in Ob𝒞$ називається нульовим, якщо він одночасно універсальний притягаючий і відштовхуючий.

Література

• С. Мак Лейн Категории для работающего математика. — Шаблон:М.: Физматлит, 2004 [1998].