Simplicial n -fold monoidal categories model all loop spaces Fiedorowicz, Vogt (2003) Cahiers de Topologie et Géométrie Différentielle Catégoriques