소규모 이중 범주들의 모델 구조 연구

초록

본 논문에서는 작은 이중 범주들의 범주 DblCat에 여러 모델 구조를 구축한다. 모델 구조는 세 가지 출처에서 유도된다. 첫째, 범주화‑신경망(adjunction) 사이의 전이 방법을 이용한다. 둘째, 이중 범주를 Cat 안의 내부 범주로 보고, Grothendieck 위상에 의해 정의되는 다양한 내부 동등성을 약한 동등성으로 채택한다. 셋째, DblCat이 2‑모나드 위의 대수 범주로서 갖는 모델 구조를 이용한다. 이들 중 일부 모델 구조는 서로 일치하며, 서로 다른 관점을 통해 코피런트 교체와 코피런트 객체에 관한 추가 결과를 얻는다. 연구 과정에서 자유 이중 범주, 몫 이중 범주, 이중 범주의 콜림트, 여러 종류의 신경망, 그리고 수평 범주화에 대한 명시적 기술과 성질을 제시한다.

상세 요약

이 논문은 현대 고등 범주론에서 핵심적인 위치를 차지하는 이중 범주(DblCat)에 대해 체계적인 호모토피 이론을 제공한다는 점에서 큰 의의를 가진다. 먼저 ‘범주화‑신경망’ adjunction을 통한 모델 구조 전이는 1‑범주와 2‑범주 사이의 전통적인 전이 기법을 확장한 것으로, 기존에 알려진 ‘Thomason 모델 구조’나 ‘Joyal‑Tierney 모델 구조’와 유사한 역할을 한다. 이 전이 과정에서 신경망(Nerve) functor가 이중 범주를 simplicial 객체로 변환하고, 범주화(Categorification) functor가 이를 다시 이중 범주로 복원함으로써 약한 동등성(weak equivalence)의 정의를 전이한다.

두 번째 접근법은 이중 범주를 Cat 안의 내부 범주로 보는 관점이다. 여기서는 Grothendieck 위상(예: 사전위상, 정밀위상 등)을 이용해 내부 동등성을 정의하고, 이를 약한 동등성으로 채택한다. 이러한 위상 기반 동등성은 ‘내부 카테고리 이론’에서 자연스럽게 등장하는 ‘내부 동형사상’과 ‘내부 사상 동등성’ 등을 포괄한다. 특히, 위상에 따라 얻어지는 모델 구조는 각각 다른 코피런트 객체와 휘발성(cofibrant replacement) 공식을 제공하므로, 연구자는 필요에 따라 가장 적합한 위상을 선택할 수 있다.

세 번째 방법은 2‑모나드 이론을 활용한다. DblCat은 2‑모나드 M(이중 범주를 생성하는 자유 2‑모나드)의 대수 범주로 볼 수 있는데, 이때 ‘알제브라적’ 모델 구조를 적용한다. 이 구조는 일반적인 2‑모나드 대수 범주의 모델 구조(예: Lack의 2‑카테고리 모델 구조)와 일치하며, 자유 대수와 자유 대수에 대한 휘발성 객체가 명시적으로 기술된다.

흥미로운 점은 이 세 가지 모델 구조 중 일부가 실제로 동등함을 보였다는 것이다. 즉, 범주화‑신경망 전이를 통해 얻은 구조와 2‑모나드 대수 구조가 같은 약한 동등성 클래스를 정의한다는 결과는, 서로 다른 관점이 동일한 호모토피 이론을 포착한다는 강력한 증거다. 이러한 일치는 또한 코피런트 교체와 코피런트 객체에 대한 새로운 설명을 가능하게 한다. 예를 들어, 자유 이중 범주가 코피런트이며, 임의의 이중 범주에 대한 코피런트 교체는 자유 이중 범주에 대한 적절한 ‘몫’ 과정을 통해 얻어진다.

논문은 또한 실용적인 도구들을 제공한다. 자유 이중 범주의 명시적 구성, 몫 이중 범주의 정의, 그리고 다양한 콜림트(예: 푸시아웃, 풀백) 계산법을 상세히 서술한다. 여러 종류의 신경망(가로 신경망, 세로 신경망, 이중 신경망 등)과 수평 범주화(Horizontal Categorification)의 성질을 분석함으로써, 이중 범주의 내부 구조를 simplicial 혹은 cubical 객체와 연결시키는 다리 역할을 수행한다. 이러한 기술적 결과는 향후 이중 범주를 이용한 고차원 호몰로지 이론, 고차원 전이대수, 그리고 이중 스펙트럼 이론 등에 적용될 가능성을 크게 확장한다.