Начальные и конечные объекты
- Начальные и конечные объекты являются важными понятиями в теории категорий.
- Категория может иметь или не иметь начальные и конечные объекты.
- Если они существуют, они обычно уникальны.
- Конечные объекты могут быть определены как границы пустой диаграммы.
- Начальные и конечные объекты могут быть охарактеризованы в терминах универсальных свойств и сопряженных функторов.
- Многие естественные конструкции в теории категорий могут быть сформулированы в терминах нахождения начального или конечного объекта.
Полный текст статьи: