Объект категории: различия между версиями

* Объект <math>P\in Ob\,\mathcal C</math> называется ''[[начальный и терминальный объекты|универсальным притягивающим (терминальным) объектом]]'', если для любого объекта <math>A\in Ob\,\mathcal C</math> существует единственный морфизм <math>A \stackrel{f}{\longrightarrow} P</math>.

* Объект <math>R\in Ob\,\mathcal C</math> называется ''[[начальный и терминальный объекты|универсальным отталкивающим (инициальным, начальным) объектом]]'', если для любого объекта <math>A\in Ob\,\mathcal C</math> существует единственный морфизм <math>R \stackrel{f}{\longrightarrow} A</math>.

* Объект <math>R\in Ob\,\mathcal C</math> называется ''[[начальный и терминальный объекты|нулевым]]'', если он одновременно универсальный притягивающий и отталкивающий.