이코닉 변환: 이중범주의 새로운 2‑카테고리적 관점

초록

전통적인 범주론에서는 군, 환, 위상공간과 같은 일반적인 수학 구조들의 모임이 범주(예: 군의 범주)를 이루고, 1‑차원 범주 구조들(예: 범주, 모노이달 범주, 유한극한을 가진 범주)의 모임이 2‑범주를 형성하며, 2‑차원 범주 구조들(예: 2‑범주 또는 바이카테고리)의 모임이 3‑범주를 이룬다고 여겨진다. 본 논문에서는 바이카테고리를 2‑범주의 객체로 보는 유용한 방식을 제시한다. 이는 기술적·개념적으로 다소 놀라운 접근이다. 이 2‑범주의 2‑셀은 본 논문의 핵심인 ‘아이콘’이며, 이는 “구성요소가 항등인 oplax 자연 변환”이라고 생각할 수 있지만 보다 기본적인 설명도 제공한다. 우리는 이러한 아이콘들의 성질을 기술하고, 모노이달 범주, 바이카테고리의 2‑신경, 2‑차원 Lawvere 이론, 그리고 바이카테고리 번들에 대한 응용을 제시한다.

상세 요약

이 논문이 다루는 핵심 문제는 “바이카테고리를 어떻게 2‑범주의 객체로 끌어올릴 수 있는가”라는 질문이다. 전통적인 범주론에서는 차원의 상승이 자연스럽게 일어나지만, 그 과정에서 등장하는 고차원 사상, 즉 2‑셀(또는 3‑셀)의 정의가 까다롭다. 특히 바이카테고리 사이의 변환을 다룰 때는 ‘프랙탈’ 같은 복잡한 구조가 나타나는데, 기존의 ‘강한 변환(strong transformation)’이나 ‘연산자(oplax) 변환’은 구성요소가 일반적인 1‑셀(함자)일 뿐 아니라 그 사이에 또 다른 2‑셀이 끼어들어 일관성을 유지해야 한다. 이러한 복잡성을 피하면서도 충분히 풍부한 이론을 구축하려는 시도가 바로 ‘아이콘(icons)’이다.

아이콘은 “구성요소가 항등인 oplax 자연 변환”이라는 직관적 정의에 기반한다. 즉, 두 바이카테고리 사이의 1‑셀(함자)와 2‑셀(변환) 사이에 존재하는 ‘중간 단계’가 항등 1‑셀로 고정되어 있어, 변환 자체가 오직 2‑셀 수준에서만 비정형성을 허용한다. 이 제한은 두 가지 중요한 효과를 만든다. 첫째, 아이콘은 복잡한 교환 법칙을 단순화시켜 2‑카테고리 구조 내에서 엄격한 수평 합성(horizontal composition)과 수직 합성(vertical composition)을 동시에 정의할 수 있게 한다. 둘째, 아이콘은 ‘정체성 성분(identity components)’이라는 강력한 제약 덕분에, 기존의 oplax 변환이 갖는 ‘구성요소가 자유롭게 변할 수 있다’는 자유도를 제한하면서도 충분히 일반적인 상황을 포괄한다.

논문은 이러한 아이콘이 실제로 어떻게 작동하는지를 여러 사례를 통해 보여준다. 모노이달 범주에 적용하면, 모노이달 구조 사이의 강한 모노이달 함자와 자연 변환을 아이콘을 통해 2‑셀로 승격시켜, 모노이달 범주의 2‑카테고리적 성질을 명확히 할 수 있다. 또한, 바이카테고리의 2‑신경(2‑nerve) 구성에 아이콘을 도입하면, 기존에 복잡한 고차원 셀을 다루던 방식을 단순화하면서도 동등성(equivalence)과 같은 중요한 위상학적 특성을 보존한다. 2‑차원 Lawvere 이론에서는 아이콘이 이론 간의 변환을 ‘항등적’으로 유지함으로써, 이론 자체의 구조를 보존하면서도 새로운 모델을 구축할 수 있는 기반을 제공한다. 마지막으로, 바이카테고리 번들(bundles of bicategories)에서는 아이콘이 각 섬유(fiber) 사이의 연결 고리를 명확히 정의해, 전역적인 2‑카테고리 구조를 형성하는 데 핵심적인 역할을 한다.

이러한 응용들은 아이콘이 단순히 기술적인 편의를 넘어서, 고차원 범주론에서 ‘객체‑사상‑변환’ 삼위일체를 보다 직관적이고 계산 가능하게 만든다는 점을 시사한다. 특히, 기존에 3‑범주 수준에서만 다루어졌던 구조들을 2‑범주 수준으로 끌어내려 복잡성을 크게 낮추면서도, 중요한 동형성 및 보존 성질을 유지한다는 점에서 이론적·실용적 가치가 크다. 앞으로 아이콘을 이용한 2‑카테고리 이론이 더 많은 분야(예: 고차원 논리, 양자 컴퓨팅, 고차원 동형론)로 확장될 가능성이 높으며, 이는 범주론의 차원 상승 패러다임에 새로운 전환점을 제공할 것으로 기대된다.