유도 연산자의 정의, 구성 및 범주적 성질