분배자 클래스에 대한 상대적 주입성과 완비성

본 논문은 V‑강화 범주 𝔙‑Cat 위에서 “분배자”(distributor)라는 2‑셀을 활용해, 특정 클래스 Φ 에 대한 코콤플리트(완비성)와 주입성(injectivity) 사이의 깊은 연관성을 탐구한다. 연구는 크게 네 부분으로 구성된다. **1. 배경 및 동기** 강화된 범주론은 거리 공간, 위상 공간, 접근 공간 등 다양한 위상수학적 구조를 통합적으로 다룰 수 있는 프레임워크를 제공한다. Hofmann(2008)은 Yoneda 임베딩을 이용해 “주입성 = 완비성”이라는 동등성을 보였고, 이 범주가 Set 위에서 단사(monadic)임을 증명하였다. 그러나 이 결과는 전체 Yoneda 임베딩에 의존했으며, 보다 제한된 분배자 클래스에 대해서는 적용되지 않았다. 본 연구는 이러한 제한을 극복하고, 선택된 분배자 Φ 에 대해 동일한 이론을 전개한다. **2. Φ‑분배자와 Φ‑코콤플리트** 분배자는 두 V‑강화 범주 X, Y 사이의 V‑함수 φ : Xᵒᵖ ⊗ Y → 𝔙 로 정의된다. 저자는 특정 부분집합 Φ ⊆ Dist(𝔙) 을 고정하고, Φ‑분배자에 대해서만 콜레임(colimit)과 리밋(limit)을 고려한다. X가 Φ‑코콤플리트라는 것은 모든 Φ‑분배자 φ : X⇸Y 에 대해 좌측 적당한 콜레임 colim_φ 가 존재함을 의미한다. 이 정의는 기존의 전역 코콤플리트 개념을 일반화한 것으로, Φ를 통해 원하는 구조적 제약을 부여한다. **3. Φ‑Yoneda 임베딩과 주입성‑완비성 동형** Yoneda 임베딩 y_X : X →