Why Derived Categories Were Inevitable Once You Refused to Forget Failure

grothendieck

Essay 2 in The Violence of Abstraction

The Violence of Equivalence: Why Failure Survives Reorganisation

1. Where we are now

Essay 1 established something precise.

Local manuals can work.
They can agree on borders.

And in the land we are now considering, the stitching test has failed.

There is no country-free manual here.

That fact is not in dispute.

What is still in dispute is why.


2. The reasonable objection

Someone objects:

“Perhaps the failure comes from how the manuals were written.”

Not that the technicians were wrong.
Just that their fixes were clumsy.

Maybe:

  • corrections were applied in the wrong order,
  • rules were too direct,
  • unnecessary local detail obscured a simpler structure.

If this is true, the obstruction is artificial.

This must be tested.


3. The consultants

Gandalf brings in consultants.

They are competent.
They are honest.
They do not collude.

Each consultant proposes a different way to reorganise the manuals.


4. What consultants are allowed to do

Consultants may:

  • rewrite manuals,
  • replace direct corrections with chains of smaller ones,
  • introduce intermediate bookkeeping steps,
  • delay or advance where corrections are applied,
  • undo corrections if they replace them with equivalent ones.

They must obey one rule:

Every local TV must still work.

No redefining YES as NO.
No ignoring failed loops.


5. Many honest attempts

One consultant simplifies the manuals.
Another refactors them into stages.
Another introduces auxiliary adjustments to track changes explicitly.

The manuals now look completely different.

Locally, everything still works.

The Violence of Equivalence: Derived Categories

1. Three Consultants, Three Reorganizations

Each consultant proposes a completely different way to organize the manuals. Click each to see their approach. They look entirely different, but notice what stays the same…

Consultant A: “Simplify”
Manual structure:
→ Direct corrections
→ Minimal steps
→ Immediate fixes
Consultant B: “Stage it”
Manual structure:
→ Multi-stage process
→ Intermediate checks
→ Deferred corrections
Consultant C: “Track explicitly”
Manual structure:
→ Auxiliary bookkeeping
→ Redundant adjustments
→ Complex chains
Click a consultant to see their manual structure

The technicians are satisfied.


6. The test that matters

After each reorganisation, Gandalf asks the same question:

“Can these manuals now be stitched into a single country-free one?”

They try.

They compose paths.
They walk loops.
They apply the rewritten corrections.

The answer is still no.


7. What does not change

Gandalf stops comparing manuals by appearance.

Instead, he compares failure ledgers.

Each consultant’s system implicitly records:

  • which loops require correction,
  • how large the correction is,
  • how corrections behave under composition of loops.

The ledgers differ in format.

But when stripped to essentials, they record the same thing.


8. Cancellation tests

Gandalf now performs explicit tests.

For each consultant’s system, he checks:

  • If loop A followed by loop B is equivalent to a trivial walk, do the corrections cancel?
  • If a loop is reversed, does its correction undo itself?
  • If two loops are composed, do their corrections compose predictably?

Most corrections cancel.

Some do not.

2. Cancellation in Action

Each consultant’s manual contains many corrections. Most cancel out (like +1 then -1). Watch as we apply cancellation rules. What remains is the irreducible failure.

Click to start canceling redundant corrections

Those non-cancelling corrections appear in every consultant’s system, regardless of how the manuals were organised.


9. The equivalence

Gandalf declares:

“Two constructions count as the same
if they produce the same non-cancelling corrections under composition.”

He no longer compares manuals.

He compares residual failures.

This equivalence is forced, not chosen.


10. Attempt histories

To formalise this, Gandalf records not manuals, but attempt histories:

  • sequences of fixes,
  • reversals of fixes,
  • relations between fixes under composition.

These histories are not solutions.

They are records of how one tried to solve the problem.


11. Complexes

Each attempt history is organised into a chain:

  • fixes,
  • checks,
  • undoings,
  • further fixes.

These chains encode how corrections propagate and cancel.

They are complexes.


12. Reduction

Each complex is reduced by applying the cancellation rules:

  • fixes that undo each other are removed,
  • adjustments that cancel under composition are erased,
  • only failures that survive all cancellation remain.

Different complexes reduce to the same residual data.


13. Quasi-isomorphism

When two complexes reduce to the same residual failures, Gandalf identifies them.

Not because they look similar.

But because:

they fail in the same irreducible way.

Nothing else matters.

3. The Residue: What Survives

After all cancellations, each consultant’s complex reduces to the same residual data. This is the quasi-isomorphism: different constructions, same essential failure.

Consultant A’s Residue:
Loop₁: rotation = π/2
Loop₂: rotation = π
Composition: additive
Consultant B’s Residue:
Loop₁: rotation = π/2
Loop₂: rotation = π
Composition: additive
Consultant C’s Residue:
Loop₁: rotation = π/2
Loop₂: rotation = π
Composition: additive
Gandalf’s Declaration
“These three constructions are quasi-isomorphic.
They produce the same non-cancelling corrections.
In the derived category, they are the same thing.”

14. The derived category

The derived category is the space of constructions modulo this identification.

It does not remember:

  • which consultant you hired,
  • how clever the reorganisation was,
  • where corrections were applied.

It remembers only what could not be cancelled.

4. The Derived Category: Structure from Failure

The derived category doesn’t remember how you tried to fix things. It only remembers what couldn’t be fixed. Persistent failure becomes mathematical structure.

Before: Many different manual organizations, each unique
After: Equivalence classes based on irreducible residue
The Violence: Your clever reorganization doesn’t matter if it fails the same way

15. The violence of equivalence

Before:

“Different constructions give different answers.”

After:

“Only what survives all constructions counts as real.”

Failure is no longer embarrassing.

If it persists under every honest reorganisation,
it is promoted to structure.

That promotion is the violence.


Technical Key (minimal)

Space of residues → Derived category

Manuals → Resolutions

Attempt histories → Complexes

Cancellation → Homotopy

Residual failure → Cohomology

Same residue → Quasi-isomorphism

Story continued https://movieblow.com/2026/01/07/why-grothendieck-was-a-violent-act-essay-3/

Comments

Leave a Reply

Your email address will not be published. Required fields are marked *