Quantale Modules, with Applications to Logic and Image Processing

We propose a categorical and algebraic study of quantale modules. The results and constructions presented are also applied to abstract algebraic logic and to image processing tasks.