Ini hanya menunjukkan definisi morfisme dalam kategori koma.