분해계
범주론에서, 분해계(分解系, )는 어떤 범주(범주 (수학))의 모든 사상을 특별한 모임(모임 (수학))에 속하는 두 사상의 합성으로 (동형 사상 아래) 표준적으로 분해하는 구조이다. 범주 에서, 두 사상 , 이 다음 조건을 만족시킨다고 하자. 이는 기호로 으로 쓴다. 직교 관계는 대칭 관계가 아니다. 유일 올림 성질에 의하여 유일하게 존재하는 사상을 올림이라고 한다. 사상의 모임 에 대하여, 사상 모임 및 를 다음과 같이 정의하자. 범주 에서, 두 사상 , 이 다음 조건을 만족시킨다고 하자.
범주와 사상을 표준적으로 분해하는 구조를 뭐라고 해
분해계