Dalam kategori teori 1, kadang-kadang dipakai gasan manunjuk akan objek terminal dari suatu kategori.