카테고리 이론으로 풀어내는 고전 역학 시스템의 조합 원리

이 논문은 고전 역학의 열린 운동학 시스템을 구성적이고 모듈식으로 모델링하기 위한 범주 이론적 프레임워크를 체계적으로 구축한다. 1장 서론에서는 열린 시스템의 구성적 접근법과 기존 연구(Baez et al.)의 한계를 지적한다. 기존 스팬 기반 접근법은 직선적으로 연결된 시스템(예: 직선 상의 스프링-질량 계)에는 적용 가능했으나, 피드백 루프가 있거나 여러 기하학적 구속이 중첩된 시스템(예: 공간 링키지)을 다루기에는 부적합했다. 또한, 구성 공간의 존재가 로컬 상호작용 데이터의 호환성 문제라는 근본적인 질문을 제기한다. 2장에서는 시스템 조합의 수학적 기초를 설명한다. 핵심 장애물은 관련 범주(매끄러운 다양체)에서 풀백이 일반적으로 존재하지 않는다는 점이다. 이를 해결하기 위해 함자 F: C → C'를 통한 'F-풀백' 개념(정의 2.1)과 '스팬-타이트' 함자 조건(정의 2.3)을 도입한다. 이 조건 하에서 스팬의 동형류는 범주 Span(F)를 이루며, 여기서 모핏의 합성이 시스템 조합을 나타낸다(정리 2.1). 3장은 이론의 추상적 핵심을 다룬다. 'ACM-다이어그램'을 정의하는데, 이는 액터(대상)와 그들 사이의 구속 조건(사상)을 표현하는 유한 포셋 인덱스 범주 J에 대한 다이어그램 D: J → C이다. 이 다이어그램의 'F-극한'이 시스템의 전역 구성을 정의한다. 본 논문의 주요 정리인 정리 4.1은 구성 공간이 ACM-다이어그램의 F-극한과 동일하며, 이 극한이 '강성'임을 보인다. 정리 4.4는 일반 시스템이 분해 가능한 다이어그램으로 환원될 수 있는 조건을 제시함으로써 구성 공간의 존재 기준을 제공한다. 4장에서는 'ACM-시스템'과 '강성 포함 범주'를 공식적으로 정의한다. ACM-시스템은 ACM-다이어그램과 그 F-극한으로 구성된다. 강성 포함 범주 RigInc(F)는 ACM-시스템을 대상으로 하며, 사상은 한 시스템을 더 큰 시스템에 포함시키는 방식을 모델링한다. 이를 통해 시스템의 '열림'이 경계를 통해 외부와 상호작용할 수 있는 능력으로 개념화된다. 5장에서는 이 추상적 프레임워크를 고전 운동학에 적용한다. C를 전사적인 부분다양체 사상을 갖는 매끄러운 다양체 범주 SurjSub로, C'를 매끄러운 함수 범주 Diff로, F를 망각 함자로 설정하면, 이 F가 3,4장의 조건을 만족함을 보인다. 따라서 Kin(F) = RigInc(F)가 고전 운동학 시스템의 범주가 된다. 이 설정 하에서 여러 예시(구속 골격, 스프링-질량 계)를 설명하고, 하위 운동학 쌍(회전 조인트, 프리즘 조인트 등)의 분류를 시작한다. 특히, '유니버설 조인트'나 '슬라이딩 힌지'와 같은 메커니즘이 두 개의 액터만으로는 정의될 수 없는 진정한 3-액터 시스템임을 증명하여(정리 5.3-5.5), 이 프레임워크가 기존 공학적 지식을 수학적으로 정교화할 수 있음을 보여준다.