Теория категорий

Инициальный (начальный, универсально отталкивающий) объект категории — это такой объект, из которого в любой объект категории существует единственный морфизм.
Если инициальные объекты в категории существуют, то все они изоморфны.
Объект категории называется нулевым, если он одновременно инициальный и терминальный.
Если произведение и копроизведение существуют, то они определяются однозначно с точностью до изоморфизма.
Понятие естественного преобразования выражает связь между двумя функторами. Функторы часто описывают «естественные конструкции», в этом смысле естественные преобразования описывают «естественные морфизмы» таких конструкций.