完备化函子相关论文