Minor edits on differential functor concepts