Definition 4.19.
A morphism of logoi \(\phi\colon T \to S\) is called a quotient map if it is a Bousfield localization, i.e. if its right adjoint is fully faithful.
Definition 4.19.
A morphism of logoi \(\phi\colon T \to S\) is called a quotient map if it is a Bousfield localization, i.e. if its right adjoint is fully faithful.