導関数の定義、構成、および函子論的性質