고차 연산자 대수의 자유곱

초록

이 논문은 Batanin의 n‑operad으로 정의되는 고차 범주 구조에 대해, 카테고리의 ‘재미있는 텐서곱’에 대응하는 새로운 텐서곱을 구축한다. 제시된 텐서곱은 자유곱 형태로 정의되며, 알제브라들의 범주에 대칭적이고 폐쇄된 모노이달 구조를 제공한다. 결과적으로 모든 n‑operad 대수는 이 구조 아래에서 내부 함자와 자유곱을 동시에 가질 수 있게 된다.

상세 분석

본 연구는 고차 범주 이론에서 오래된 난제인 Gray 텐서곱의 고차 일반화를 탐구한다. 기존의 Gray 텐서곱은 2‑카테고리 사이에 비대칭적이면서도 풍부한 합성 구조를 제공하지만, 그 고차 차원 확장은 아직 체계적으로 정립되지 않았다. 저자들은 이 문제에 접근하기 위해 Batanin이 제시한 n‑operad 프레임워크를 채택한다. n‑operad은 다중 레벨의 복합 연산을 하나의 원천 구조에 압축시켜, 그 알제브라(즉, n‑operad‑algebra)들이 자연스럽게 고차 동형사상과 합성을 가질 수 있게 한다.

핵심 아이디어는 ‘재미있는 텐서곱’(funny tensor product)의 자유곱적 성질을 일반화하는 것이다. 구체적으로, 주어진 n‑operad O에 대해 O‑algebra들의 범주 Alg(O) 위에 새로운 이항 연산 ⊗₊를 정의한다. 이 연산은 두 알제브라 A와 B의 자유 O‑algebra 생성물에 대한 푸시아웃으로 구성되며, 이는 전통적인 자유곱(free product)과 동일시될 수 있다. 중요한 점은 이 푸시아웃이 O‑algebra 구조를 보존하면서도 대칭성을 갖는다는 것이다. 따라서 ⊗₊는 교환법칙과 결합법칙을 만족하고, 단위 객체는 O의 초기 알제브라가 된다.

폐쇄성(closedness)을 확보하기 위해 저자들은 내부 함자