당김(당김 (범주론))에 대하여 안정적
두 올범주의 합성은 역시 올범주를 이룬다. 작은 범주의 범주 에서, 다음과 같은 당김(당김 (범주론))이 주어졌다고 하자. 만약 가 올범주라면 역시 올범주이다. 즉, 올범주성은 당김(당김 (범주론))에 대하여 안정적이다. 올범주 에서, 만약 위에 분해계 가 주어졌다고 하자. 그렇다면, 다음을 정의하자. 그렇다면, 은 위의 분해계를 이룬다.
올범주성은 어떤 것에 대해서 안정적이야
올범주