+-- {: .num_defn} ###### Definition and Lemma Let $\Box$ be an indempotent modality on $C$. (further assumptions). Let $f:X\to Y$ be a morphism in $C$. (1) $\overline{f^\Box}$ in $$\array{ Y\times_{\Box Y} \Box X&\to &\Box X \\ \downarrow^\overline{f^\Box}&&\downarrow^{\Box f} \\ Y&\to&\Box Y }$$ is called $\Box$-closure of $f$. We denote the class of $\Box$-closed morphisms in $C$ by $\overline{\Box}$. (2) $\overline{f^\Box}$ is $\Box$-closed. (3) $f$ is called to be a *$\Box$-equivalence* if $\Box f$ is an equivalence. We denote the class of $\Box$-equivalences in $C$ by $\tilde{\Box}$. =-- +-- {: .num_prop} ###### Proposition (Cl 1) Let $C$ be an $(\infty,1)$-category in which pullbacks are universal, (further assumptions), let $\Box$ be an indempotent modality on $C$ which commutes with pullbacks. Then $(\tilde{\Box},\overline{\Box})$ is an orthogonal factorization system on $C$. =-- +-- {: .proof} ###### Proof By naturality of the unit of the monad and the universality of the pullback, $f:X\to Y$ factors as $f=\tilde{f^\Box};\overline{f^\Box}$. $$\array{ X&\stackrel{\tilde{f^\Box}}{\to}&Y\times_{\Box Y} \Box X&\to &\Box X \\ &\searrow^{f}&\downarrow^\overline{f^\Box}&&\downarrow^{\Box f} \\ &&Y&\to&\Box Y }$$ $\overline{f^\Box}$ is $\Box$-closed by the previous Lemma. Since $\Box$ preserves by assumption this pullback and since $\Box$ is idempotent, $\Box(X\to \Box X)$ is an equivalence, and $\Box X$ is also a pullback of the $\Box$-image of the pullback square it follows that $\Box \tilde{f^\Box}$ is an equivalence and hence $\tilde{f^\Box}$ is a $\Box$-equivalence. That the factorization system is orthogonal follows from the definition, naturality of the modality unit, the pullback pasting lemma, and the universal property of the pullback giving finally the unicity of the lift. =-- +-- {: .num_lemma} ###### Lemma (some closure properties) (1) Let $(L,R)$ be a factorization system in an $C$ be an $(\infty,1)$-category. Then: (2) Let $(L,R)$ be an orthogonal factorization system in an $C$ be an $(\infty,1)$-category. Then: =-- +-- {: .num_cor} ###### Corollary $\tilde{\Box}$ is closed under: $\overline{\Box}$ is closed under: =-- +-- {: .num_prop} ###### Proposition (Cl 2) Let $C$ be an $(\infty,1)$-category in which pullbacks are universal, (further assumptions), let $\Box$ be an indempotent modality on $C$ which commutes with colimits. (1) Proposition (Cl 1) applies. (2) $(\tilde{\Box},\overline{\Box})$ is a reflective factorization system on $C$. =--