⚜ PRINCIPIA ORTHOGONA · Vol XIII · Coherence ← Ch 7  ·  Ch 9 →
Vol XIII · Coherence · Chapter 8 · Stub

Known Limits

What this volume will not have established, written before it is written
StatusStub · specification only
Rung30 · Higher Category Theory
MathlibCategoryTheory 1089 files
measured 2026-09-12
Artifactnone yet

Stated in advance so that the volume cannot quietly grow to cover them.

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.