* Similarly, the category of all small categories with functors as morphisms has the empty category as initial object and the category 1 (with a single object and morphism) as terminal object.
* В категории всех малых категорий (с функторами как морфизмами) начальный объект — пустая категория, а терминальный — категория 1 с единственным объектом и морфизмом.