Localic Map

A map f : L M : 𝑓 𝐿 𝑀 f:L\to M between two Locales is localic when

This is a Vertical Decategorification of a Geometric Morphism.