파라미터화 과정의 범주론적 해석

초록

이 논문은 켄조와 EAT 시스템에서 사용되는 파라미터화 과정을 범주론적 관점에서 일반화한다. 주어진 사양에 새로운 변수(파라미터)를 추가해 파라미터화 사양을 만들고, 그 모델에서 파라미터 값을 해석(인수)하면 원래 사양의 모델을 얻는다. 터미널성 가정 하에 인수와 원래 모델 사이의 대응은 전단사이며, 이 전체 과정은 하나의 함자와 자연 변환으로 기술된다. 주요 도구는 인접함자, 푸시아웃, 느슨한 콜라임트이다.

상세 분석

논문은 먼저 사양(specification)을 유한곱 이론으로 모델링하고, 그 모델을 곱을 보존하는 함수자로 정의한다. 파라미터화 과정은 기존 사양 Σ에 새로운 정규 변수 p를 도입해 연산들의 정의에 p를 삽입함으로써 새로운 사양 Σ