Lemma 7.12.
Assuming that:
C
a
locally small
capital
regular
category
Then
1
is
cover-projective
.