범주화된 작동 이론의 일관성

초록

본 논문은 작동 $P$ 로 기술되는 대수 이론을 약화(범주화)하는 새로운 정의를 제시한다. 이 정의에 따라 $P$‑대수에서 엄격히 성립하던 방정식들은 동형사상까지 허용된 일관된 동형사상으로 바뀐다. 저자는 이 구조를 이용해 모든 단일(monidal) 범주가 강동형(strict) 단일 범주와 동등함을 일반화하고, 강동형화(functor)와 약동형 범주 사이의 잊어버리기(functor) 사이에 왼쪽 사상(adjoint) 관계가 존재함을 보인다. 또한 이 범주화는 작동 $P$ 의 제시(presentation)에 독립적이며, 다정렬 이론으로 확장될 수 있음을 증명한다.

상세 분석

이 논문은 작동 이론을 범주 수준으로 끌어올리는 방법론을 체계화한다는 점에서 의미가 크다. 기존에 단일(monidal) 범주와 대칭 단일 범주가 각각 모노이드와 교환 모노이드의 약화된 형태라는 사실은 잘 알려져 있다. 그러나 작동 $P$ 가 임의의(가능하면 대칭) 구조를 가질 때, 그에 대응하는 “$P$‑범주”를 어떻게 정의하고, 어떤 일관성(coherence) 조건을 부과해야 하는지는 미해결 문제였다. 저자는 먼저 $P$ 를 자유 작동으로 생성된 식별자와 관계들로 표현하는 프레젠테이션 $\langle \Sigma\mid R\rangle$ 를 선택한다. 그 다음, 각 생성 연산에 대해 객체와 1‑사상을 대응시키고, 관계 $R$ 에서는 해당 연산들의 합성에 대해 동형사상(iso)으로 교체한다. 이때 동형사상들 사이에 2‑셀(자연 변환) 수준의 일관성 사상이 추가되며, 이는 전통적인 ‘펜로즈-맥케이’ 코히런스 조건을 일반화한 형태다.

핵심 기술은 “weak $P$‑category” 와 “strict $P$‑category” 사이의 비교이다. 저자는 모든 weak $P$‑category 가 적절한 strict $P$‑category 로 강동형(strictification)될 수 있음을 보이는데, 이는 기존의 Mac Lane의 엄격화 정리를 작동 이론 전반에 확대한 결과이다. 강동형화 과정은 $P$‑작동의 자유 2‑카테고리(또는 2‑다중범주) 상에서의 코이엔시(coend)와 같은 고차 구조를 이용해 구성되며, 이때 얻어지는 strict $P$‑category 은 원래의 weak 구조와 동등한 동형사상 수준의 정보를 모두 보존한다.

또한, 강동형화 함자 $S\colon \mathbf{Wk},P\text{-Cat}\to \mathbf{St},P\text{-Cat}$ 가 잊어버리기 함자 $U\colon \mathbf{St},P\text{-Cat}\to \mathbf{Wk},P\text{-Cat}$ 의 왼쪽 사상(adjoint)임을 증명한다. 이 사상 관계는 범주론적 보편성(universal property)을 제공한다: $S$ 는 모든 weak $P$‑category 로부터 가장 자유롭게 strict $P$‑category 로 “올려올리는” 역할을 하며, $U$ 가 강제하는 제한조건을 최소화한다.

프레젠테이션 의존성 문제도 세심히 다룬다. 저자는 두 개의 서로 다른 프레젠테이션 $\langle\Sigma\mid R\rangle$ 와 $\langle\Sigma’\mid R’\rangle$ 가 같은 작동 $P$ 를 정의한다면, 각각으로부터 얻은 weak $P$‑category 의 2‑카테고리 구조가 이중 동형사상(equivalence of 2‑categories)으로 일치함을 보인다. 이는 범주화 과정이 작동 자체에만 의존하고, 선택된 생성자·관계 집합에는 의존하지 않음을 의미한다.

마지막으로, 다정렬 이론으로의 확장은 다중범주(multicategory) 프레임워크를 이용한다. 다정렬 작동 $P$ 를 다중범주로 보고, 각 정렬에 대한 객체와 사상을 동시에 다루는 weak $P$‑category 를 정의한다. 여기서도 동일한 강동형화와 사상(adjoint) 결과가 성립한다는 점을 증명함으로써, 이론의 적용 범위를 크게 넓힌다. 전체적으로 이 논문은 작동 이론의 범주화에 대한 포괄적이고 체계적인 틀을 제공하며, 기존의 여러 특수 사례들을 하나의 일반 이론 안에 통합한다는 점에서 학문적 기여도가 높다.