Localic Map
A map between two Locales is localic when
- preserves all Meets, and thus has a Left Adjoint by the Adjoint Functor Theorem For Posets.
- The corresponding left adjoint preserves finite meets.
This is a Vertical Decategorification of a Geometric Morphism.