Introduction to categorial shape theory, with applications in mathematical morphology