No sé muy bien lo que tienes en mente, pero aquí va algo (esto es mayormente pero no completamente estándar):
Dejemos que $\mathcal E$ sea un conjunto (/clase) de epis, en su caso sea el conjunto de todos los epis regulares.
También se pueden considerar epis fuertes, extremos y, en categorías puntuales, normales (y posiblemente otros). Si te apetece, también puedes definir "epis normales relativos a una corelación de coequivalencia" ( co relación, no correlación) en una categoría no puntuable, pero no tengo ni idea de si esto tiene alguna utilidad. Obviamente, cuanto más grande sea la clase, más fuerte será la propiedad de elección.
En fin:
Un objeto $P$ es $\mathcal E$ -proyectiva si para todo $e : A \to E \in \mathcal E$ y $p : P \to E$ existe un morfismo $x : P \to A$ tal que $e\circ x = p$ .
Un objeto $P$ es $\mathcal E$ -elección si cada $e : A \to P \in \mathcal E$ es un epi dividido.
Son equivalentes:
- el "axioma de $\mathcal{E}$ -elección", es decir, cada $e\in \mathcal{E}$ está dividido epi
- cada objeto es $\mathcal{E}$ -proyectiva
- cada objeto es $\mathcal{E}$ -elección
Prueba: ... es fácil, brevemente:
- $\Rightarrow$ 2. : Toma $x := m\circ p$ donde $m$ es una sección de $e$ .
- $\Rightarrow$ 3. : Toma $p = \operatorname{id}_P$ . El morfismo $x$ es entonces una sección de $e$ .
- $\Rightarrow$ 1.: Inmediato.
