[일반] 오늘 알게된, 내 연구분야와 하등상관없는 정리

[익명(175.223)]

B가 아벨 카테고리일때

콤팩트 프로젝티브 제너레이터 대상인 P가 B에 있으면 P를 통해 적절한 환 A를 만들어서

A 모듈의 카테고리와 B를 동등하게 취급할 수 있음