We consider formal quantum field theory as study or nomotopy category noQFT of QFT-infinity algebras. This allows us not only to define a formal quantum field theory as an object together with a morphism to an initial object in the category but also to characterizes the whole tower of quantum correlation functions