다니얼 칸
이를 돌트-칸 대응성이라고 한다. 작은 범주 가 주어졌을 때, 이에 대응하는 표준적인 단체 집합 가 존재하며, 이를 의 신경(신경 (범주론))이라고 한다. 신경은 2-범주의 함자 그렇다면, 는 단체 집합을 이루며, 그 기하학적 실현은 원래 단체 복합체 의 기하학적 실현과 위상 동형이다. 위 구성에서 꼭짓점 집합의 전순서를 (임의로) 고른 이유는 단체 집합은 단체 복합체와 달리, 각 단체의 꼭짓점들의 순서를 기억하기 때문이다. 물론, 기하학적 실현은 이 전순서에 의존하지 않는다. 단체 집합은 특이 코호몰로지 등을 정의하기 위하여 오랫동안 알려져 있었으나, 대니얼 퀼런이 이를 사용하여 대수적 K이론을 정의하면서 그 중요함이 알려졌다. 칸 올뭉치는 다니얼 칸이 도입하였다.
칸 올뭉치는 누가 도입한거야
단체 집합