모노이달 컴퓨터 I 기본 계산 가능성 및 문자열 다이어그램

초록

이 논문은 모노이달 카테고리를 이용해 계산 모델을 정의하고, 교회-튜링 논제를 만족함을 보인다. 문자열 다이어그램을 그래픽 언어로 채택해 구현 세부를 추상화하고, 기존 모델과 동일한 계산 가능 함수 집합을 포착한다. 향후 암호학적 자원 이론에 적용하기 위한 고수준 프로그래밍 언어 설계의 초석을 제공한다.

상세 분석

논문은 먼저 전통적인 계산 모델—튜링 기계, 람다 계산, 재귀 함수—이 각각 서로 동등한 계산 가능 함수를 정의한다는 사실을 상기한다. 그런 다음 이들 모델을 범주론적 관점에서 재구성하는데, 핵심 구조는 단일 객체를 가진 강모노이달 카테고리이다. 여기서 객체는 데이터 타입을, 사상은 프로그램(또는 연산)을 나타낸다. 중요한 점은 모든 프로그램이 같은 객체 A→A에 귀속된다는 것이며, 이는 “컴퓨터”라는 단일 추상 장치를 형식화한다는 의미다.

모노이달 카테고리의 텐서(⊗)는 병렬 결합을, 합성(∘)은 순차 실행을 의미한다. 이 두 연산은 문자열 다이어그램에서 각각 가로로 이어지는 선과 세로로 겹치는 박스로 시각화된다. 저자들은 이러한 시각적 표현이 소리 없는 증명(diagrammatic reasoning)을 가능하게 하여, 복잡한 프로그램 변환을 그림만으로 검증할 수 있음을 강조한다.

계산 가능성을 정의하기 위해 “복제 사상”(δ:A→A⊗A)과 “소멸 사상”(ε:A→I)를 도입한다. 복제는 입력을 여러 복사본으로 나누어 병렬 처리하게 하고, 소멸은 결과를 최종값으로 수렴시킨다. 이 두 사상은 코모노이드 구조를 형성하며, 카테고리 내에서 복제‑소멸 법칙(δ∘ε= id 등)을 만족한다. 이러한 구조는 고전적인 복제·소멸 연산을 추상화한 것으로, 교회-튜링 논제와 일치하는 재귀적 정의를 가능하게 만든다.

논문은 또한 유니버설 사상u:I→A를 도입해, 모든 자연수와 같은 기본 데이터가 A 안에 내재될 수 있음을 보인다. 이를 통해 전통적인 수 체계와 문자열을 A 안에 인코딩하고, 기존 모델의 인코딩 함수와 동등한 사상을 구성한다. 결과적으로, A→A 사상들의 집합은 튜링 기계가 인식할 수 있는 모든 부분 함수와 일대일 대응한다는 완전성 정리를 제시한다.

마지막으로, 문자열 다이어그램의 완전성·정음성을 증명한다. 즉, 두 사상이 다이어그램적으로 동등하면 카테고리 이론적으로도 동등하고, 반대로 카테고리 동등성은 다이어그램 변환 규칙(예: 스와핑, 결합법칙, 단위법칙)으로 증명 가능하다. 이는 그래픽 언어가 형식적 증명 도구로서 충분히 강력함을 의미한다. 이러한 결과는 향후 암호학적 자원(일방향 함수, 트랩도어 함수 등)을 고수준으로 기술하고, 구현 세부를 숨기는 언어 설계에 직접 활용될 수 있다.