Ring teori kategori, 1 arang kaanggén nujuang objek terminal saking kategori.