Functorial constructions related to double Poisson vertex algebras | Synapse