A collection $ C={a_{x}xrightarrow{f_{x}}acolon xin X} $ of $ mathcal{C} $ - arrows is called an effectively epimorphic family if for any $ mathcal{C} $ - object $ c $