决了，整个证明过程就完成了大半。接下来无非就是按部就班的内容，只要这样的点存在，通过高阶范畴论导出的函子必定失效。
导出函子不等价，所有的结论自然不攻自破。
真正的难点还是在如何重构ambidexterity定理，让这个关键定理能在几何朗兰兹猜想证明过程中重新生效。
这个阶段，乔喻打算自己出手解决这个问题，但就不告诉对面
感谢书友20230114003824260、书友20240919204135030、书友20241011205517969、夜记小事的打赏鼓励！
万字打卡第36天完成！
本章完