프레임된 이중범주와 모노이달 섬유

본 논문은 “프레임된 이중범주(framed bicategory)”라는 새로운 구조를 도입하여, 전통적인 이중범주에서 나타나는 0‑셀 사이의 사상(예: 링 동형사상)의 부재 문제를 해결한다. 저자는 먼저 두 종류의 bicategory—Cat‑형(객체, 사상, 자연변환)과 Mod‑형(링, 바이모듈, 바이모듈 사상)—을 비교하면서, 후자에서는 0‑셀을 “프레임”이라 부르는 별도의 객체군이 필요함을 지적한다. 기존의 pseudo double category는 수직 사상과 수평 1‑셀을 동시에 다루지만, 수평 1‑셀에 대한 기본변환(base change) 작용을 명시적으로 포함하지 못한다. 이를 보완하기 위해 저자는 섬유(fibration) 개념을 도입한다. 섬유는 각 0‑셀 위에 존재하는 모노이달 카테고리의 패밀리를 제공하고, 수평 1‑셀에 대한 장축(base)와 잔축(fiber) 사이의 전이 함자를 비대수적으로 정의한다. 이렇게 하면 복잡한 연관사상(coherence) 조건을 일일이 기술할 필요 없이, 섬유의 기본성질만으로 일관성을 확보할 수 있다. 논문의 2‑5장은 기본 정의와 기본 성질을 정리한다. double category D는 객체 카테고리 D₀와 화살표 카테고리 D₁, 그리고 좌·우 프레임 함수 L,R와 수평 합성 ⊙, 단위 U 등을 포함한다. 수평 합성은 일반적인 모노이달 구조와 동일하게 연관법칙을 만족한다. 프레임된 이중범주는 이러한 double category에 추가적으로 “프레임 구조”를 부여한다. 구체적으로, 각 수직 사상 f:A→B에 대해 수평 1‑셀 M:A→B를 “프레임 변환”으로 끌어올리는 섬유 p:D₁→D₀가 존재한다는 조건이다. 이 섬유는 각 0‑셀 위에 모노이달 카테고리를 배치하고, 수평 1‑셀을 그 위의 객체로 본다. 섬유의 재지정(reindexing) 함자는 기본변환을 구현한다. 이러한 설정을 통해 프레임된 이중범주는 자연스럽게 2‑범주 구조를 갖게 된다. 2‑셀은 수평 1‑셀 사이의 변환이며, 수직 사상에 대한 자연성도 유지한다. 저자는 이 구조를 이용해 프레임된 동등성(frames equivalence), 프레임된 adjunction, 그리고 모노이달 프레임된 이중범주(monidal framed bicategory)를 정의한다. 특히, 프레임된 동등성은 0‑셀 사이의 전통적인 동형사상과 수평 1‑셀 사이의 Morita‑형 동등성을 동시에 포괄한다. 6‑10장은 이러한 프레임된 구조를 실제 수학적 상황에 적용한다. 프레임된 functor, oplax, lax, strong 등 다양한 종류의 변환을 정의하고, 이들로부터 2‑범주인 프레임된 bicategory, 프레임된 pseudo‑bicategory 등을 만든다. 프레임된 adjunction은 수평 1‑셀 사이의 이중쌍(dual pair)과 일치하며, 이는 기존의 bicategory adjunction보다 더 직관적인 해석을 제공한다. 또한, 모노이달 프레임된 bicategory는 수평 합성에 대한 텐서 구조와 수직 사상에 대한 모노이달 구조가 동시에 존재함을 의미한다. 11‑17장은 프레임된 bicategory를 만드는 두 가지 건설법을 제시한다. 첫 번째는 기존 프레임된 bicategory D에서 모노이드와 그 모듈을 모아 새로운 프레임된 bicategory Mod(D)를 만드는 방법이다. 여기서 0‑셀은 D의 모노이드 객체가 되고, 수평 1‑셀은 그 모듈(또는 바이모듈)이다. 이 과정은 링·바이모듈 사례를 일반화한 것으로, 모노이드와 모듈 사이의 텐서곱이 수평 합성으로 작동한다. 두 번째는 ‘모노이달 섬유(monidal fibration)’를 출발점으로 하는 방법이다. 섬유는 각 0‑셀마다 모노이달 카테고리 Cₓ를 부여하고, 이들 사이의 스팬(또는 분산) 구조를 통해 수평 1‑셀을 만든다. 저자는 섬유가 closed monoidal이면, 스팬의 합성은 텐서곱과 동일하게 정의될 수 있음을 보인다. 섬유에서 얻은 프레임된 bicategory는 파라미터화 스펙트럼(예: