>>55
射影加群を圏論的にってどういうこと?