Sea "G": "D" → Ab el funtor que asigna a cada homomorfismo su núcleo y sea "F": Ab → "D" el morfismo que mapea al grupo "A" al homomorfismo "A" → 0.