Differential geometry in synthetic algebraic geometry