이중측면 2 섬유와 가상 이중범주의 새로운 전개

초록

본 논문은 2-범주 대신 세쿠이카테고리를 기반으로 한 내부 구조를 이용해 ‘분할 이중측면 2-섬유’를 정의하고, 이를 가상 이중범주 SpTwo2Fib 로 조직한다. 특히 로컬하게 이산인 경우에 Yoneda 2-함수가 형식적 Yoneda 삽입이 됨을 보이며, 이를 통해 A → B 형태의 이중측면 2-섬유와 2-함수 B → Cat^{A^{op}} 사이의 두 면에 걸친 Grothendieck 대응을 확립한다. A = 1 일 때는 기존 Buckley‑Lambert 대응의 함수성까지 강화한다.

상세 분석

이 논문은 기존의 2‑카테고리 이론을 한 단계 끌어올려, ‘세쿠이카테고리(sesquicategory)’라는 수평 합성법칙이 없는 2‑차 구조 위에 내부 분할 이중측면 섬유(split two‑sided 2‑fibration)를 정의한다. 세쿠이카테고리는 객체·1‑셀·2‑셀를 갖지만, 2‑셀 사이에 중간‑네‑교환법칙을 요구하지 않으므로, lax 자연 변환과 같은 2‑셀을 자연스럽게 포함한다. 저자는 이러한 세쿠이카테고리 S에 대해, 기본 1‑카테고리 |S| 위의 프로퐁터(profunctor) 개념을 이용해 ‘증강 가상 이중범주(augmented virtual double category) Prof(|S|)’를 만든 뒤, 내부 분할 이중측면 섬유를 그 안의 수평(느슨한) 1‑셀로 보는 방법을 제시한다.

핵심은 ‘comma 객체’를 세쿠이카테고리 수준에서 정의하고, 이를 통해 내부 섬유를 ‘A² → B²’ 형태의 프로퐁터로 재해석하는 것이다. 이 과정에서 Street의 1974년 논문에서 제시한 2‑카테고리 내부 분할 이중측면 섬유 개념을 일반화한다. 결과적으로, 임의의 세쿠이카테고리 S에 대해 ‘SpTw oFib(S)’라는 가상 이중범주를 구축하고, 특히 S = 2Cat_lax (2‑카테고리와 lax 자연 변환을 포함)일 때 ‘SpTwo2Fib’를 얻는다.

‘SpTwo2Fib’는 객체를 2‑카테고리, 수직(엄격) 1‑셀을 2‑함수, 수평(느슨한) 1‑셀을 분할 이중측면 2‑섬유로 갖는다. 다중 셀(multicells)은 (n,1)‑ary 형태로 섬유 사이의 다중 변형을, (n,0)‑ary 형태로 ‘표시된(marked)’ lax 자연 변환을, (0,0)‑ary 형태로 일반 2‑자연 변환을 담는다. 이러한 구조는 기존의 double category 이론을 확장하면서도, 셀들의 복합적인 합성을 가상 이중범주의 수직·수평 합성 규칙에 맞게 정의한다.

논문은 이후 로컬하게 이산(local‑discrete)인 경우, 즉 섬유가 작은 1‑카테고리일 때 ‘SpTwo2Fib_{ld,sf}’라는 부분 가상 이중범주를 취한다. 여기서 저자는 Koudenburg(2024)에서 제시한 형식적 Yoneda 삽입(formal Yoneda embedding)의 정의를 적용해, 전통적인 Yoneda 2‑함수 y: A → Cat^{A^{op}}가 이 가상 이중범주 안에서 ‘형식적 Yoneda 삽입’임을 증명한다. 핵심은 y가 각 섬유 J에 대해 ‘y/J ≅ J_λ’라는 동형을 제공하고, 이를 통해 y가 왼쪽 Kan 확장으로서의 보편성을 만족한다는 점이다.

이 결과를 바탕으로 ‘두 면에 걸친 Grothendieck 대응(two‑sided Grothendieck correspondence)’을 구축한다. 구체적으로, 로컬하게 이산인 분할 이중측면 2‑섬유 A ↠ B와 2‑함수 B → Cat^{A^{op}} 사이에 일대일 대응이 성립한다. A = 1(터미널 2‑카테고리)로 제한하면, Buckley‑Lambert가 제시한 ‘분할 op‑2‑섬유와 2‑함수 B → Cat’ 대응을 재현할 뿐 아니라, 다중 변형 φ와 표시된 lax 변환 ψ 사이의 대응까지 포함해 함수성을 완전하게 확장한다.

이러한 전개는 여러 면에서 의미가 크다. 첫째, 세쿠이카테고리 기반의 내부 섬유 정의는 lax 변환을 자연스럽게 다룰 수 있게 해, 기존 2‑카테고리 이론이 포괄하지 못하던 구조들을 포괄한다. 둘째, 가상 이중범주라는 프레임워크를 통해 섬유와 변형을 동시에 다루는 ‘다중 셀’ 이론을 제공함으로써, 향후 모노이달, 이중, 고차 섬유 이론에 대한 일반화가 용이해진다. 셋째, Yoneda 삽입을 형식적으로 구현함으로써, Yoneda 구조와 Grothendieck 대응 사이의 깊은 연관성을 새로운 범주론적 언어로 명확히 드러낸다. 마지막으로, 함수성까지 강화된 두 면 Grothendieck 대응은 고차 함자 이론, 고차 모노이달 구조, 그리고 응용 범주론(예: 데이터베이스 스키마, 프로세스 모델링)에서 실용적인 도구로 활용될 가능성을 시사한다.