Tag Info

Proposition 4.20 in the same paper shows that the localization is in fact $\omega$-accessible, i.e. the fully faithful right adjoint in question preserves filtered colimits. This implies that the ...