Tangent space to a functor (source code)

= Tangent space to a functor
{wiki=Tangent_space_to_a_functor}