Pretriangulated 2-representations via dg algebra 1-morphisms | Synapse