§ Regular epi and regular category