Manuscript Hawk03-A@1 · Hawk03-A.tex · remark · 9a109c12
Remark: Necessary domain qualification
Encoded algebras and the no-independent-copy obstruction · lines 786–792
The theorem concerns a domain carrying the stated noncommutative logical action. It must not be applied by assuming that the fixed pair slice is invariant under arbitrary partner operations. Definition def:structural was introduced precisely to prevent that mistake.
Nearby in this section
- section: Encoded algebras and the no-independent-copy obstruction
- definition: Definition: Structural encoding and prepared slice
- section: Encoded algebras and the no-independent-copy obstruction
- lemma: Lemma: Exact encoded instrument
- theorem: Theorem: Quantitative commuting-copy obstruction
- section: Encoded algebras and the no-independent-copy obstruction