정확한 범주 함수와 주석 모듈과 주입 모듈 간의 관계