범주의 단체 대상은 단체 범주 위의, 값을 갖는 준층
단체 집합의 개념은 범주론을 사용하여 매우 간단하게 정의할 수 있으나 이는 매우 추상적이다. 대신 이와 동치인, 더 복잡하지만 더 구체적인 정의를 사용할 수도 있다. 단체 범주(單體範疇, ) 는 다음과 같은 범주이다. 보다 일반적으로, 범주의 단체 대상은 단체 범주 위의, 값을 갖는 준층이다. 즉, 함자(함자 (수학)) 이다. 단체 대상의 사상은 준층의 사상, 즉 함자 사이의 자연 변환이다. 단체 대상의 범주는 단체 집합은 집합의 범주 위의 단체 대상이다.
단체 범주가 뭐야
단체 집합