어떤 올범주의 밑범주 속의 대상의 덮개 위에 주어진, 각 덮개 원소 위의 올범주의 대상들로 구성된 구조
범주론에서, 내림 데이터(-data, , )는 어떤 올범주의 밑범주 속의 대상의 덮개 위에 주어진, 각 덮개 원소 위의 올범주의 대상들로 구성된 구조이다. 이를 사용하여, 일부 경우 밑범주 속의 대상의 올범주의 한 원소를 유일하게 재구성할 수 있다. 어떤 경우 이러한 재구성이 가능한지를 연구하는 수학 분야를 내림 이론이라고 한다. 다음과 같은 데이터가 주어졌다고 하자. 로 생각할 수 있다.
범주론에서 내림 데이터가 뭐야
내림 데이터