sentences:  Rubato Composer
  
  Rubato Composer is free (GPL) software that allows one to compose music or transform existing music with the help of mathematical Category Theory and Topos Theory.It is currently the only software for music composition based on Category Theory.