星期二, 29 9 月, 2026

乙编 道

级别复核中:上游命题有变动,本条的级别正在复核。
SGC-0011 定理级 外部定理

在反基础公理(AFA)下,(平坦)方程组有唯一解(Aczel 解引理);本原方程以此取代公理命题。

级别复核中:上游命题有变动,本条的级别正在复核。
SGC-0050 词典级

互生 ↔ 伴随(范畴论中的 adjunction)。