Monotone insertion and monotone extension of frame homomorphisms

The purpose of this paper is to introduce monotonization in the setting of pointfree topology. More specifically, monotonically normal locales are characterized in terms of monotone insertion and monotone extensions theorems.