56. Faithful transport and exact search · Machine-Native Reasoning

Loading chapter…

Suppose two correction systems are related by a commuting square Commutative square: D maps U to V, a maps U to U-prime, b maps V to V-prime, and D-prime maps U-prime to V-prime; bD equals D-prime a. All four spaces are modules over the same commutative ring. Denote the quotient maps by $$q_D$$ and $q_{D'}$ .