Manuscript IX-C@1 · IX-C.tex · remark · 03ce8e6b
Remark: Why the corollary is not a construction
Second-stage coefficient equations and associativity · lines 1124–1129
The corollary proves coherence of maps if they exist with the stated prescriptions. It does not establish their existence by defining both associations to be the same graph sum. That shortcut would omit actual-functional factorization.
Nearby in this section
- section: Second-stage coefficient equations and associativity
- proposition: Proposition: Formal coefficient expansion
- theorem: Theorem: Coefficientwise associativity criterion
- section: Second-stage coefficient equations and associativity
- corollary: Corollary: Conditional placement coherence
- section: Second-stage coefficient equations and associativity