대칭 범주군의 충분한 사영·주입 객체 존재 증명

본 논문은 대칭 범주군(또는 피카르 군)이라는 2‑카테고리가 충분한 사영 객체와 충분한 주입 객체를 동시에 가지고 있음을 증명한다. 연구는 먼저 대칭 범주군의 동형류를 두 아벨 군 π₀와 π₁으로 기술하고, 이를 (A₀,A₁,α) 형태의 삼중항으로 모은 Types 라는 범주를 정의한다. 여기서 α는 A₀/2A₀ → A₁ 혹은 동등하게 A₁ → 2A₁ 로 보는 동형이며, Types 의 사영 사상은 A₀‑에피모르피즘, 단사 사상은 A₁‑단사로 정의한다. 핵심 도구는 type 함수가 Ho(SymCatGr) → Types 를 전사적으로, 핵이 사각 제로 이데알인 완전한 사상이라는 사실이다. 이로부터 Hom‑구조의 π₀와 π₁을 Ext와 Hom 으로 명시적으로 계산할 수 있다. 구체적으로 식 (1)에서는 π₀(Hom(S₁,S₂)) 가 Ext(π₀(S₁),π₁(S₂)) 와 Types(type(S₁),type(S₂)) 사이의 정확한 짧은 exact sequence 로 나타나고, 식 (2)에서는 π₁(Hom(S₁,S₂)) 가 hom(π₀(S₁),π₁(S₂)) 와 동형임을 보인다. 다음 단계에서는 자유 아벨 군 P와 가법 아벨 군 Q 를 이용해 Types 안에서 특수 객체 l(P)와 r(Q)를 만든다. l(P)=(P,P/2P,id)는 π₀‑에피모르피즘에 대해 완전한 사영 객체이며, r(Q)=(2Q,Q,id)는 π₁‑단사에 대해 완전한 주입 객체이다. Lemma 1은 이 두 객체가 각각 Types 에서 사영·주입 충분성을 제공함을 보이며, Hom(l(P),A)≅Hom(P,A₀), Hom(A,r(Q))≅Hom(A₁,Q) 라는 동형을 이용해 자유·가법 군의 보편성을 활용한다. 그 후, Types 의 각 객체 A 에 대해 대칭 범주군 H(A)를 선택해 type(H(A))=A 라는 대표성을 확보한다. 특히 H(l(P))와 H(r(Q))는 각각 사영·주입 대칭 범주군이 된다. 사영 경우에는 자유 아벨 군 P 에 대한 epimorphism f₀:P→π₀(S) 를 선택하고, Ext‑시퀀스와 식 (3) 을 이용해 실제 사영 사상 L:H(l(P))→S 를 만든다. 이때 type(F∘L)=type(G) 가 되므로 트랙을 통해 F∘L 와 임의 사상 G 사이에 2‑셀을 제공한다. 주입 경우에도 π₁(S) 를 가법 군 Q 로 삽입하는 단사 g₁을 선택하고, 유사한 방법으로 H(r(Q)) 로의 사상 L을 구성한다. Proposition 2에서는 위의 사영·주입 객체를 이용해 모든 대칭 범주군 S 가 사영 근사와 주입 근사를 각각 갖는다는 충분성(e enough) 결과를 정리한다. 즉, 임의의 S 에 대해 자유 아벨 군 P 와 사영 사상 P→π₀(S) 로부터 사영 객체 H(l(P))→S 를, 가법 아벨 군 Q 와 단사 π₁(S)→Q 로부터 주입 객체 S→H(r(Q)) 를 얻는다. 다음으로 범주적 환 R 위의 오른쪽 모듈 카테고리에도 동일한 논리를 적용한다. Proposition 3 은 R‑모듈 카테고리가 충분한 사영·주입 객체를 가지며, 이는 대칭 범주군에 대한 Yoneda 사상과 Hom(R,−) 라는 2‑adjunction을 이용해 증명한다. 마지막으로 작은 사영 생성기 H (정수 객체와 2‑주기 자동변환을 갖는 대칭 범주군)를 도입해 SymCatGr 자체가 Hom(H,H)‑모듈 카테고리와 2‑동등함을 보인다(Prop 5). 이는 대칭 범주군이 실제로 한 개의 범주적 링에 대한 모듈 이론으로 완전히 기술될 수 있음을 의미한다. 전체적으로 논문은 이전에 제시된 잘못된 증명(문헌