엔리치드 범주에 대한 Barr 임베딩 정리

초록

본 논문은 정규 범주에 대한 Barr의 임베딩 정리를 엔리치드 범주로 일반화한다. 충분히 완비하고 코라이트가 존재하는 모노이달 V 위의 작은 정규 V‑범주 C에 대해, C를 V‑정규 완전한 범주인 V‑셋(또는 V‑프레시시드)으로 완전하게 보존하는 전사적 V‑함수로 임베딩할 수 있음을 보인다. 핵심은 V‑정규성, V‑코라이트, 그리고 V‑가중된 이미지 분해를 이용해 Barr의 원래 증명을 V‑풍부한 구조에 맞게 재구성한 것이다.

상세 분석

논문은 먼저 전통적인 Barr 임베딩 정리의 핵심 아이디어를 재검토한다. Barr는 정규 범주 C가 충분히 큰 집합(또는 Set‑valued) 완전 범주에 전사적이고 보존적인 함자(fully faithful functor)로 임베딩될 수 있음을 증명했으며, 그 증명은 정규성(모든 동형 사상은 동등하고, 동등류가 존재)과 코라이트 존재에 크게 의존한다. 저자는 이를 V‑정규(V‑regular)이라는 개념으로 확장한다. V‑정규성은 V‑한정(colimit)과 V‑동형 사상에 대한 안정성을 요구하며, 특히 V‑코라이트가 존재하고 V‑정규 사상이 V‑동형 사상과 V‑동등류를 보존한다는 조건을 포함한다.

다음으로 저자는 모노이달 V가 완비이고, 작은 V‑범주 C가 V‑정규이며, V‑코라이트가 충분히 풍부하다고 가정한다. 이때 C의 객체들을 V‑셋(또는 V‑프레시시드)으로 보내는 Yoneda 사상 Y: C →