We define the derivation module for a homomorphism of inverse semigroups, generalizing a construction for groups due to Crowell. For a presentation map from a free inverse semigroup, we can then define its relation module ...