Definition 5.44.
A morphism \(\Uu \to \Xx\) is an open immersion if it is both étale and a monomorphism. A morphism in \(\Logos\) is an open localization if its corresponding morphism in \(\Topos\) is an open immersion.
Definition 5.44.
A morphism \(\Uu \to \Xx\) is an open immersion if it is both étale and a monomorphism. A morphism in \(\Logos\) is an open localization if its corresponding morphism in \(\Topos\) is an open immersion.