Derivations, the Lawrence–Sullivan interval and the Fiorenza–Manetti mapping cone