Differential calculus in categories. I

Here are considered some categorical aspects of “Differential calculus” archetype of local approximation of arbitrary morphisms by “linear” ones.