어떤 유일 올림 성질을 만족시켜서 올뭉치와 같은 성질을 보이는 함자
범주론에서, 올범주(-範疇, , , ) 또는 그로텐디크 올뭉치는 어떤 유일 올림 성질을 만족시켜서 올뭉치와 같은 성질을 보이는 함자(함자 (수학))이다. 내림 데이터나 스택(스택 (수학))을 정의할 때 쓰인다. 함자(함자 (수학)) 가 주어졌다고 하자. 의 사상 가 다음 보편 성질을 만족시킨다면, 를 데카르트 사상(Descartes寫像, , )이라고 한다. 함자 가 다음 조건을 만족시킨다면, 올범주라고 한다.
범주론에서 올범주가 뭐야
올범주