Lemma 7.2. Any strong epimorphism is a cover. The converse holds if $C$ has equalisers and pullbacks.