Geometric Embedding
A geometric embedding is a Geometric Morphism such that the Right Adjoint is Fully Faithful; EG: is a Reflective Subcategory of .
A geometric embedding is a Geometric Morphism such that the Right Adjoint is Fully Faithful; EG: is a Reflective Subcategory of .