삼중범주에서 동형이데알과 바우컨스 조립지도 구축

이 논문은 삼중범주 \( \mathcal{T} \) 에서 동형이데알 \( \mathfrak{I} \) 을 이용해 두 부분범주의 보완성을 판정하는 새로운 충분조건을 제시한다. 동형이데알은 안정적인 동형함수 \(F:\mathcal{T}\to\mathcal{A}\) (아벨 범주 \( \mathcal{A} \) 로 가는) 의 핵으로 정의되며, \( \mathfrak{I} \) 에 속하는 사상은 모두 \(F\) 에 의해 사라진다. 저자는 \( \mathfrak{I} \) 가 충분히 많은 \( \mathfrak{I} \)-프로젝티브 객체를 가질 때, ‘보편적 \( \mathfrak{I} \)-정밀’ 함수 \(H_{\mathfrak{I}}:\mathcal{T}\to\mathcal{A}_{\mathfrak{I}}\) 가 존재함을 보인다. 여기서 \( \mathcal{A}_{\mathfrak{I}} \) 는 \( \mathfrak{I} \) 에 의해 만든 아벨 근사 범주이며, 삼중범주의 동형대수를 아벨 범주로 전이시키는 역할을 한다. 다음으로, \( \mathfrak{I} \) 가 카운터블 직접합과 호환되고, \( \mathfrak{I} \)-프로젝티브 객체가 충분히 존재한다는 가정 하에, 두 부분범주 \( \langle\mathfrak{P}_{\mathfrak{I}}\rangle \) (모든 \( \mathfrak{I} \)-프로젝티브 객체가 생성하는 최소 삼중범주)와 \( \mathcal{N}_{\mathfrak{I}} \) ( \( \mathfrak{I} \)-수축 객체들의 범주) 가 **보완(complementary)** 하다는 정리를 증명한다. 보완성은 (1) \( \operatorname{Hom}_{\mathcal{T}}(P,N)=0 \) for \(P\in\langle\mathfrak{P}_{\mathfrak{I}}\rangle\), \(N\in\mathcal{N}_{\mathfrak{I}}\)와 (2) 각 객체 \(A\in\mathcal{T}\) 에 대해 정확 삼각형 \( P\to A\to N\to P