dg singularity category