Vol XIII · Coherence · Chapter 8 · Stub
Known Limits
What this volume will not have established, written before it is written
Stated in advance so that the volume cannot quietly grow to cover them.
- Nothing here is a claim about mathematics. Bicategories, coherence and
quasi-categories are settled subjects, independent of this series. The volume's only possible
contribution is a correct identification of which of them the operator chain instantiates.
- Chapter 2 may end the volume. If the four operators do not compose in a single
category, chapters 3 through 6 are vacuous. That outcome is to be published, not routed around.
- A negative result is the likeliest outcome. Composition may be strict, in which
case rung 30 is not needed and the volume is one chapter long. This is stated here so that a short
volume reads as a finding rather than as a failure.
- The rung ordering is a choice. The ladder this volume is placed against omits
its own rungs 29–32 and drops a numeral at 9. Rung 30's position in Part II was assigned in WP-81,
not recovered from a source. ASSUME
- The corpus measurements are single-pattern greps. Chapter 6's counts were taken
across ten spellings, which is better than one, and still not a proof of absence. Two claims of
absence made during the drafting of Part II were later found wrong for exactly this reason.
The standing risk
This volume is about coherence — about whether things that look equal
are equal. It would be a particular embarrassment for it to assert its own results without
checking them. Chapter 7 exists to prevent that, and chapter 7 is itself a stub.
Stub · what would close this chapter
Nothing. This chapter closes when the other seven do, and
its content is whatever of the above turned out to be true.