Closed-time-path functional formalism in curved spacetime: Application to cosmological back-reaction problems | Synapse