Provides a categorical approach to quantales and applications. Develops the theory of modules on unital quantales. Includes exercises and bibliographical notes.