This book presents a new semiotic theory based upon category theory and applying to a classification of creativity in music and mathematics. It is the first functorial approach to mathematical semiotics that can be applied to AI implementations for creativity by using topos theory and its applications to music theory. Of particular interest is the generalized Yoneda embedding in the bidual of the category of categories (Lawvere) - parametrizing...