휘트니 범주와 매듭 가설

논문은 크게 네 부분으로 구성된다. 첫 번째 섹션에서는 휘트니 n‑범주의 필요성을 제시하고, Baez‑Dolan의 매듭 가설을 기하학적 관점에서 재해석한다. 저자들은 기존 고차 범주 이론이 ‘소스·타깃’ 구조에 지나치게 의존한다는 점을 비판하고, 대신 ‘경계(boundary)’라는 개념을 중심으로 하는 새로운 정의를 제안한다. 이 정의는 ‘Prestratₙ’이라는 전층화(Pre‑stratified) 공간과 전층화 지도들의 범주 위에 프레시시(pre‑sheaf)를 놓고, 그 제한이 ‘Stratₙ’이라는 셀룰러 층화 공간의 사이트에서 쉐이브(sheaf) 조건을 만족하도록 설계된다. 여기서 Stratₙ은 차원 ≤ n인 컴팩트 셀룰러 층화 공간을 객체로 하고, 차원 < n인 층에 대해 상대 동형을 무시한 전단사 지도들의 동형 클래스를 사상으로 갖는다. 두 번째 섹션에서는 휘트니 범주의 기본 성질을 증명한다. n‑Whit이라는 프레시시들의 전완전(complete)·공완전(cocomplete) 서브카테고리를 정의하고, 포함함수에 대한 좌측 적응자(left adjoint)를 구성해 임의의 프레시시를 휘트니 범주로 강제한다. 또한 휘트니 범주의 동등성 개념을 정의하고, 이는 전통적 범주의 완전함수와 전사함수의 스팬(span)으로 기술된다. 이러한 구조는 ‘형태(shape)’라는 용어를 도입해, 각 층화 공간 X에 대해 A(X) 를 X‑형 사상의 집합으로 해석한다. 예를 들어 점(pt)은 객체, 구간(