Of particular interest is the generalized Yoneda embedding in the bidual of the category of categories (Lawvere) parametrizes semiotic units and enables a Čech cohomology of manifolds of semiotic entities. It opens up a conceptual mathematics as initiated by Grothendieck and Galois. It enables a precise description of musical and mathematical creativity, including a classification thereof in three types. This approach is new, as it connects topos theory, semiotics, creativity theory, and AI objectives for a missing link to HI (Human Intelligence). weiterlesen