Dalam teori kategori, 1 kadang-kadang geu pakek untuk meupeutunyok objek terminal dari saboh katagori.