정의, 유형 (변형 범주, 역변형 범주)