The key axiom of a Cartesian Fermat category is that for every map f, there is a unique map F[f] which is axiomatised by a generalised version of Hadamard’s Lemma. In this talk we’ll discuss important identities that can be derived for this combinator F[-], such as a chain rule. We’ll then explain how from these identities we can prove the axioms for a differential combinator.