Ini menunjukkan bahwa objek terminal dalam kategori koma tertentu sesuai dengan morfisme universal.