ここで、Dの対象Kをゼロ射0KK:K→Kに、射r:K→Lを対(r,r)に写すような関手F:D→Cを定義する。
定义函子F:D→C，映射对象K到零态射0KK:K→K，映射态射r:K→L到偶(r,r)。