Subsection III.2.4.3

The differential of a homomorphism