In dieser Arbeit werden die Grundlagen von zwei häufig auftretenden Merkmalen unserer Naturgesetze untersucht: Eichsymmetrien und Quantisierung. Durch die Betrachtung dieser Merkmale im mathematischen Rahmen von Homotopie-Algebren wollen wir neue Methoden zur Berechnung physikalischer Observablen beschreiben, insbesondere in der Kosmologie und der Quantenmechanik. Zunächst befassen wir uns mit dem Problem der Eichredundanzen, die es schwer machen zu erkennen, welche Größen eine physikalische Bedeutung haben. Im Jahr 1980 erreichte Bardeen dieses Ziel in der kosmologischen Störungstheorie zu erster Ordnung. Die Frage, ob dieses Verfahren auf die perturbative Expansion von Eichtheorien aller Ordnungen ausgedehnt werden kann, ist seitdem jedoch offen geblieben. Wir zeigen, dass die Umformulierung von Eichtheorien in eichinvariante Felder als ein Transfer von homotopie-algebraischer Strukturen verstanden werden kann. Unter Verwendung dieses mathematischen Rahmens erweitern wir dann die Gültigkeit der Bardeen-Variablen auf perturbative Eichtheorien zu allen Ordnungen. Nach der Einführung eines systematisches Verfahrens für die eichinvariante Störungstheorie betrachten wir die Berechnung von Observablen in der Doppelfeldtheorie um zeitabhängige Hintergründe. Indem wir die Doppelfeldtheorie um zeitabhängige Hintergründe quadratischer und kubischer Ordnung erweitern und die quadratische Wirkung in den eichinvarianten Variablen ausdrücken, schaffen wir eine Grundlage für zukünftige Berechnungen, insbesondere zur Untersuchung des Einflusses massiver Stringmoden in kosmologischen Hintergründen. Zum Schluss betrachten wir einen anderen Ansatz zur Berechnung von Erwartungswerten in der Quantenmechanik. Obwohl die Pfadintegralformulierung der Quantenmechanik für den Fortschritt der Quantentheorie von entscheidender Bedeutung war, fehlt ihr immer noch eine strenge mathematische Definition. Die Reduktion eines unendlich-dimensionalen Raums von klassisch erlaubten Trajektorien auf einen Erwartungswert, der lediglich eine Funktion der Anfangs- und Endrandbedingungen ist, hat jedoch eine homotopiealgebraische Interpretation. Mit Hilfe des Batalin-Vilkovisky-Formalismus, der eng mit Homotopie-Lie-Algebren verwandt ist, entwickeln wir einen homologischen Ansatz zur Berechnung von Quantenerwartungswerten. Als Beispiel betrachten wir den harmonischen Oszillator und zeigen, dass unsere Methode auch im Kontext der Quantenfeldtheorie in gekrümmter Raumzeit verwendet werden kann, indem wir den Unruh-Effekt berechnen. / This thesis examines the underpinnings of two frequently manifest features of our laws of nature: gauge symmetries and quantization. By studying these features through the mathematical framework of homotopy algebras, we aim to describe new methods towards the computation of physical observables, in particular for cosmology and quantum mechanics. First, we deal with the problem of gauge redundancies, which make it difficult to discern which quantities have physical meaning. In 1980, Bardeen introduced a procedure to achieve this goal in first order cosmological perturbation theory. However, the question whether this procedure can be extended to the perturbative expansion of gauge theories to all orders has remained open since then. We show that, in general, the reformulation of gauge theories in gauge invariant fields has the interpretation of transferring homotopy algebraic structure. Utilising this mathematical framework, we then generalize Bardeen’s procedure to perturbative expansions of gauge theories to all orders in perturbations. After establishing a systematic procedure for gauge invariant perturbation theory, we set up the stage for computing observables in double field theory around time-dependent backgrounds. Double field theory not only has T-duality as a manifest symmetry, which is expected to be important in string cosmology proposals, but is also (in its weakly constrained form) a description of massive string modes, and hence is a suitable arena to investigate the imprint of massive string modes in cosmological backgrounds. By expanding double field theory around time-dependent backgrounds to quadratic and cubic order and expressing the quadratic action in terms of gauge invariant variables, we provide a basis for future computations. Finally, we describe a different approach for computing expectation values in quantum mechanics. Though having been essential for the progress of quantum theory, the path integral formulation of quantum mechanics still lacks a rigorous mathematical definition. However, the act of reducing an infinite-dimensional space of classically allowed trajectories into an expectation value which is merely a function of the initial and final boundary conditions does have a homotopy algebraic interpretation. Through the Batalin-Vilkovisky formalism, which is closely related to homotopy Lie algebras, we build a homological approach for computing quantum expectation values. We demonstrate our method for the harmonic oscillator and we show that our method can also be used in the context of quantum field theory in curved spacetime by rederiving the Unruh effect.