极大相容类相关论文