Geometric embedding
= Geometric embedding
{title2=$i_*\text{ full and faithful}$}
A geometric embedding is a <geometric morphism> whose direct-image functor is <full and faithful>. Its inverse image presents a left-exact reflective subcategory of the target topos. It is the second part of the <surjection-embedding factorization of a geometric morphism>.