* In the category of rings with unity and unity-preserving morphisms, the ring of integers Z is an initial object.
* В категории колец кольцо целых чисел Z является начальным объектом, и нулевое кольцо с 0=1 — терминальным объектом.