Exact dg categories II : The embedding theorem | Synapse