다중주제 집합과 다중계산체의 동등성

본 논문은 고차 범주론에서 두 주요 구조인 컴퓨탐(computad)과 다중주제 집합(multitopic set)을 체계적으로 비교하고, 이들 사이의 범주론적 동등성을 증명한다. 서론에서는 자유 구조의 일반적 개념을 소개하고, 이를 ω‑범주와 컴퓨탐에 적용하는 방법을 설명한다. 자유 구조는 어떤 사전 확장(pre‑extension) (I, d, c) 로부터 시작해, 항등 원소와 부분 합성 연산 •ₖ (k < n)를 포함하는 형식 언어 C 를 만든 뒤, 동등성 체계(결합성, 교환성, 항등성 공리)로부터 동등성 클래스 ≈ 를 정의함으로써 자유 확장 A