为理解上述同泛态射的关系，定义D中态射的范畴C，对象为D的所有态射f : X → Y，从f : X → Y到g : S → T的态射为一对态射α : X → S和β : Y → T构成的偶(α, β)，满足βf = fα。
thɣqr qr ɬqɣr ʁʑɣ^r ʁr ɣ^n xʑr ʑqr ʁɣr çɣr ɣ^ʑk khqr çqɣ^r tɕhqr (en)slˌaʃpəsˈɛntz(cmn) tsʁɣ^k ʑqr ʁɣr çɣr xʑr ʝʁn (en)zˈɛd(fi) çqr khqʑɣ^r thɣqr (en)slˌaʃpəsˈɛntz(cmn) çɣr r tɕhr ʑqr ʁɣr : ʝɣ^n : çʑr (en)pəsˈɛntz(cmn) : (en)wpəsˈɛntz(cmn) çɣr ʑqr ʁɣr thɣqr tɕhqk çqr ʑqr ʁɣr (el)ˈalfa(cmn) : ʁɣn (el)vˈita(cmn) : (en)wpəsˈɛntz(cmn) ɣ^r ʝʁɣɣ^n çɣr r (el)ˈalfa(cmn), (el)vˈita(cmn) ʑr tsn (en)bˈiːtəf ˈiːkwəlz ˌɛfˈalfə(cmn)