A filtration construction can assign a useful object to every space while failing to define a strict functor on every map. Stage choices may not be preserved, comparison maps commute only up to homotopy, and different homotopies may need higher coherence. The correct response is not to call the construction natural by optimism.
This guide continues coherent comparison systems and contractible choice spaces. It explains three routes: rectify a weak construction when hypotheses and machinery permit, encode it as a homotopy-coherent functor when higher data are available, or state only the invariant conclusion that the evidence actually supports.
The discipline is honest strength. A weaker invariant theorem can be complete and useful even when a stronger natural model remains unproved.
A practical orientation
Separate object assignment, map assignment, composition and higher coherence. Rectification changes representation while preserving appropriate homotopy information; it is not a promise that every weak diagram can become strict in every setting.
The worked example uses universal phantom-map models chosen from skeletal filtrations and a map that does not preserve the chosen stages term by term.
- Audit the naturality claim — for locating the first missing datum.
- Choose rectification or coherence — for selecting the right framework.
- Follow the phantom-map example — for a concrete obstruction.
- Use invariant-only fallbacks — for complete weaker results.
- Transfer to another tower — for changed constructions.
Chapter contents
Open a route that matches the decision in front of you, or read straight through. Each route returns to the same evidence chain.
Start with the operating question
Build the evidence chain
Ask whether rectification is available
Work the example
Stress-test the decision
Use invariant-only fallbacks deliberately
1. Audit the claimed functor one layer at a time
An object assignment chooses a model F(X). A map assignment should send f: X → Y to F(f): F(X) → F(Y). Identity and composition must then hold strictly, up to homotopy or through coherent higher data according to the claimed setting.
Mark where choices enter: filtrations, cellular approximations, stage functions and homotopies. The first unproved compatibility is the true naturality limit.
- Objects assigned to every admissible input.
- Maps assigned to every admissible morphism.
- Identity compatibility.
- Composition compatibility.
- Higher coherence among comparison homotopies.
2. Distinguish strict, derived and coherent naturality
Strict naturality requires commuting equations in the chosen category. Naturality in the homotopy category requires equality of homotopy classes. Homotopy-coherent naturality retains explicit homotopies and higher compatibilities instead of collapsing them.
These forms answer different applications. An invariant nullity test may need only the homotopy category. A construction meant to interact with several derived operations may need coherent data.
| Level | Composition statement | Typical use |
|---|---|---|
| Strict | F(gf)=F(g)F(f) | Point-set or rigid algebraic model |
| Homotopy category | Classes are equal | Invariant mapping conclusions |
| Homotopy coherent | Specified homotopies and higher fillers | Structured diagrams and derived functors |
| Invariant only | Property preserved; no map assigned | Nullity or existence result |
3. Ask whether rectification is available
Rectification replaces a weak or coherent diagram by a stricter model within an appropriate equivalence framework. Its availability depends on the indexing shape, model or infinity-categorical setting and hypotheses. It is a theorem, not a formatting choice.
State what is preserved: objectwise weak equivalence, derived mapping behavior or a universal property. Do not promise point-set identity merely because equivalent strict models exist.
4. Build a homotopy-coherent functor when needed
A coherent functor records map-level data, homotopies for composition and higher simplices controlling compatibility among those homotopies. This is the natural language when choices cannot or should not be made strictly.
The work scales with the claim. For a small finite diagram, explicit coherence may be manageable. For all spaces and maps, an infinity-categorical construction or a functorial replacement is usually the clearer route.
| Dimension | Data | Controls |
|---|---|---|
| 0 | Objects F(X) | Assignment |
| 1 | Maps F(f) | Morphisms |
| 2 | Homotopies for F(gf) and F(g)F(f) | Composition |
| 3+ | Higher fillers | Compatibility of all lower choices |
5. Use universal properties to reduce choice
A universal property can determine an object or map up to a suitably unique equivalence and often supplies naturality more cleanly than a stagewise construction. The exact uniqueness lives in the relevant mapping space or homotopy category.
Check whether the filtration model represents a universal object. If so, prove statements through the property and treat the model as a presentation rather than the definition.
6. Worked example: a map that misses chosen stages
Let X and Y be finite-type CW complexes with chosen skeletal subsequences used to build universal phantom-map models. A map f: X → Y need not send the chosen X-stage into the same-index Y-stage. Cellular approximation and a larger stage produce a comparison, but the stage function is chosen.
A second choice may produce a homotopic induced map after common refinement. This can support a morphism in the homotopy category. To obtain a coherent functor for all composable maps, the stage choices and comparison homotopies must themselves be organised compatibly.
| Step | Choice | Result justified |
|---|---|---|
| Choose larger Y-stage | Cofinal index function | Stage map exists |
| Cellular approximation | Representative map | Pointed homotopy class |
| Compare two choices | Common refinement and homotopy | Map well defined up to homotopy |
| Compose several maps | Higher compatibility | Requires additional coherence |
7. Rectify only after naming the category
A strictification claim must say where objects and weak equivalences live. Different model categories or infinity-categories encode different notions of equivalence. The same point-set construction may rectify in one framework and not in another.
If the application needs only homotopy classes, passing to the homotopy category may be sufficient and simpler. If mapping spaces matter, that passage loses higher information.
8. Use invariant-only fallbacks deliberately
When coherent naturality is unavailable or unnecessary, state an invariant theorem. For universal phantom maps, nullity can be filtration-independent because if one universal map is null, every phantom map out of X is null, including any other admissible universal model.
This fallback is not a failed functor. It is a complete conclusion at the level the universal property supports. Name what is invariant and avoid inventing comparison maps.
- State the property, not a nonexistent canonical map.
- Use the universal factorisation argument.
- List the admissible hypotheses.
- Separate invariant truth from model-level naturality.
9. Test naturality only on the maps you need
An application may use inclusions, cellular maps or a smaller subcategory rather than all continuous maps. A functorial filtration may exist there even when global naturality is awkward.
Restricting the domain is legitimate when stated. It can turn an unmanageable universal claim into a precise theorem suited to the application.
10. Respect finiteness and pointedness limits
The universal phantom-map construction cited here uses connected finite-type CW complexes and their finite skeleta. Pointed homotopy controls factorisation. Other towers and categories may require different compactness or presentability hypotheses.
Higher-categorical vocabulary does not remove these conditions. It organises coherence after the objects and morphisms have been correctly specified.
11. Misconceptions and practical questions
Common mistakes include calling objectwise assignment a functor, assuming pairwise homotopies automatically cohere, using rectification without stating a model, and treating an invariant-only result as mathematically inferior.
Does well defined up to homotopy automatically give a homotopy-coherent functor?
No. It controls individual choices or pairs. A coherent functor also needs compatible composition homotopies and all required higher data.
When is an invariant-only fallback the right result?
When the application asks only for a property such as nullity and a universal argument proves it, while stronger natural comparison maps are unnecessary or unproved.
12. Changed-context transfer, evidence check and sources
Transfer the audit to Postnikov towers or derived completions. Identify the target category, allowed maps, stage choices and exact level of naturality needed. Use universal properties or functorial replacements where they genuinely apply; otherwise state the invariant conclusion.
Gray and McGibbon’s Universal Phantom Maps provides the finite-type construction and factorisation role used in the example. Lurie’s Higher Topos Theory develops infinity-categorical tools for coherent diagrams and mapping spaces. Any rectification or functoriality claim still requires its own framework and hypotheses.
Continue through the Gold Standard ecosystem
Return to the Topology subject root, the Gold Standard of Education parent, or the How X Works hub.
Immediate predecessor: coherent comparisons, contractible choices and naturality limits · Earlier guide: comparison-map choice and filtration-independent nullity · Topology root
These routes are grouped by learning purpose: prerequisite model, immediate predecessor, and the wider transfer framework. They are not substitutes for the evidence and limits stated in this guide.