Universal property of differentials

[Todo: write this page]

universal property. Failure for DM stacks (cor: coarse space map etale implies it's an iso).