구조 강화 2‑범주와 느슨한 사상에 대한 극한 이론

초록

이 논문은 2‑모나드 틀을 이용해, 구조를 보존하는 사상이 비교 사상까지 허용하는 ‘느슨한’ 형태일 때의 극한을 연구한다. 엄격한 사상을 구분해 ‘강화된’ 2‑범주로 만들고, 이를 특정 카테시안 폐쇄 군집 F에 대한 풍부화로 해석한다. F‑풍부 범주 이론을 통해 이러한 강화된 2‑범주가 갖는 극한 존재 조건을 완전히 규정한다.

상세 분석

논문은 먼저 2‑모나드 T가 정의하는 구조적 범주 Alg(T)와, 구조를 보존하는 사상이 비교 사상 α : f · T ⇒ T · f 로만 일치하는 ‘느슨한 사상(lax‑morphisms)’을 모은 2‑범주 Alg_lax(T)를 소개한다. 여기서 α가 동형사상인지 여부에 따라 ‘강한(lax)’와 ‘약한(pseudo)’ 두 경우가 구분된다. 기존 연구는 주로 엄격 사상만을 대상으로 극한을 기술했지만, 실제 수학·컴퓨터 과학 응용에서는 구조 보존이 약한 형태로만 요구되는 경우가 많다. 따라서 저자는 ‘강화된’ 2‑범주 Alg_enh(T) 를 정의한다. 이는 Alg_lax(T) 위에 ‘어떤 사상이 엄격한지’를 명시하는 서브‑2‑범주 Alg_strict(T) 를 지정함으로써, 각 1‑사상에 대해 ‘엄격/느슨’ 정보를 부여한다.

핵심 아이디어는 Alg_enh(T)를 카테시안 폐쇄 군집 F =