Construction of d-abelian categories via derived categories | Synapse