Category of Directed Complete L-slices

A new notion of action of a locale $ L $ on $ P $ is developed in the context of point free topology, given a locale $ L $ and a directed complete join semilattice $ P $ with bottom element $ 0_{P} $. This work establishes the existence of a contravariant functor from the category \textbf{TopDWMod} of topological directed weak L-modules and continuous weak L-module homomorphisms to the category \textbf{DL-slice} of directed complete L-slices and directed complete L-slice homomorphisms.