이중범주 소형 객체 논증의 구성적 접근

초록

본 논문은 Bourke‑Garner가 제시한 이중범주 기반의 대수적 약한 분해 체계(awfs)의 생성 방법에 대해, 전통적인 소형 객체 논증과 동일한 단계적 구조를 갖는 구체적인 구성 방식을 제시한다. 특히 전이극한(chain)과 합동동등자(join‑coequaliser)를 이용해 각 단계에서 수직적 호환성을 강제함으로써, 로컬 프레젠터빌리티 가정을 없애고 완전히 구성주의적인 증명을 가능하게 한다. 이를 통해 Van den Berg와 Faber가 정의한 효과적 Kan 섬유가 실제로 awfs의 오른쪽 클래스가 됨을 구성적으로 확인한다.

상세 분석

논문은 먼저 기존의 소형 객체 논증이 어떻게 푸리에히 생성된 약한 분해 체계(L,R)를 단계별 푸시아웃과 전이극한을 통해 얻는지를 상세히 복습한다. 이어 Garner가 제시한 “중복 제거” 아이디어, 즉 두 번째 단계 T²f 를 T ∘ T η ∘ η ∘ T 형태의 동등자(coequaliser)로 대체하는 과정을 일반화한다. 핵심은 이 과정에서 수평적 호환성만을 만족시키던 기존 구조에 수직적 호환성을 추가하는 것이다. 이를 위해 저자들은 작은 이중범주 J→Sq(C) 를 입력으로 받아, 각 후계 단계에서 단순한 동등자 대신 ‘합동동등자(join‑coequaliser)’를 사용한다. 이 합동동등자는 두 개의 동등자를 동시에 강제함으로써, J의 수직적 합성에 대한 호환성을 보장한다.

기술적으로는 pointed endofunctor (T,η) 의 자유 대수(chain) 구성을 재해석한다. 기존 Kelly‑Garner 이론에서 자유 T‑대수는 전이극한을 통해 얻어지지만, 여기서는 각 단계에서 발생하는 두 종류의 동등자를 교차시켜 새로운 체인 X· 를 만든다. 이 체인은 초기 객체 X₀에서 시작해 X₁=T X₀, X₂는 T X₁과 η X₁ 사이의 동등자를 취하고, 한계 단계에서는 전이극한을 취한다. 중요한 점은 이 과정이 ‘안정화(stabilization)’될 때까지 진행된다는 것으로, 안정화가 일어나면 해당 단계의 객체가 자유 T‑대수 구조를 갖는다.

저자들은 이 구조를 J‑쌍대(dual)인 J⋔⋔ 의 수직 화살표와 사각형에 대한 좌측 사상 V₁:J⋔⋔₁→C² 가 좌측 사상(left adjoint)을 갖는 조건과 동등시킨다. Theorem 1에 의해 V₁의 좌측 사상이 존재하면 J에 의해 awfs가 생성된다. 논문은 바로 이 좌측 사상을 명시적으로 구성하는 방법을 제시한다. 구체적으로, 각 단계에서 합동동등자를 이용해 새로운 사각형을 만들고, 이를 전이극한으로 연결함으로써 V₁의 자유 대수를 얻는다. 이 과정은 전통적인 소형 객체 논증과 동일한 ‘체인 → 한계 → 자유 대수’ 흐름을 유지하지만, 수직 호환성을 보장하는 추가적인 동등자 단계가 삽입된 것이 차별점이다.

마지막으로, 이 구성적 방법을 Van den Berg와 Faber가 정의한 효과적 Kan 섬유(effective Kan fibrations)에 적용한다. 그들은 이 섬유가 두 차원(수평·수직) 모두에서 리프팅을 제공해야 함을 요구했으며, 이는 바로 J가 이중범주일 때의 호환성 조건과 일치한다. 따라서 논문의 결과에 따라 효과적 Kan 섬유는 J에 의해 생성된 awfs의 오른쪽 클래스가 되며, 이는 전적으로 구성주의적(constructive) 증명으로 확보된다.