Lemma 1.8.
Assuming that:
α
:
F
→
G
is a
natural transformation
between
functors
C
⇉
D
Then
α
is an isomorphism in
[
C
,
D
]
if and only if
α
A
is an isomorphism in
D
for each
A
.