Differential Categories Revisited