RECORD
Cofibrance and Completion
Algebraic Topology · Submitted 8 Dec 2006
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim This allows us to construct a Bousfield-Kan completion functor with respect to a triple, and for pointed cofibrantly-generated model categories a Bousfield-Kan spectral sequence that computes the relative homotopy groups of the Bousfield-Kan completion of an object.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. If all acyclic cofibrations are monomorphisms, the fibrant replacement functor constructed using the small object argument admits a triple structure. For a triple in the base category, the associated cosimplicial resolution is not necessarily homotopy invariant. However using a mix of the triple with the cofibrant replacement cotriple we construct a 'homotopically correct' version of the cosimplicial resolution of the triple. This allows us to construct a Bousfield-Kan completion functor with respect to a triple, and for pointed cofibrantly-generated model categories a Bousfield-Kan spectral sequence that computes the relative homotopy groups of the Bousfield-Kan completion of an object. This is the text of my PhD thesis, worked under the supervision of Prof. Haynes Miller, submitted on Feb. 1999 at MIT.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. | result 0.79 | 0.93 | 0.22 | asserted 1.00 |
| s1 | If all acyclic cofibrations are monomorphisms, the fibrant replacement functor constructed using the small object argument admits a triple structure. | result 0.93 | 0.80 | 0.11 | asserted 1.00 |
| s2 | For a triple in the base category, the associated cosimplicial resolution is not necessarily homotopy invariant. | background 0.38 | 0.47 | 0.05 | asserted 0.80 |
| s3 | However using a mix of the triple with the cofibrant replacement cotriple we construct a 'homotopically correct' version of the cosimplicial resolution of the triple. | contribution 0.65 | 0.92 | 0.17 | asserted 0.99 |
| s4 | This allows us to construct a Bousfield-Kan completion functor with respect to a triple, and for pointed cofibrantly-generated model categories a Bousfield-Kan spectral sequence that computes the relative homotopy groups of the Bousfield-Kan completion of an object. | contribution 0.65 | 0.90 | 0.61 | asserted 1.00 |
| s5 | This is the text of my PhD thesis, worked under the supervision of Prof. | background 0.91 | 0.44 | 0.01 | asserted 0.87 |
| s6 | Haynes Miller, submitted on Feb. 1999 at MIT. | background 0.98 | 0.13 | 0.01 | asserted 0.65 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. If all acyclic cofibrations are monomorphisms, the fibrant replacement functor constructed using the small object argument admits a triple structure. For a triple in the base category, the associated cosimplicial resolution is not necessarily homotopy invariant. However using a mix of the triple with the cofibrant replacement cotriple we construct a 'homotopically correct' version of the cosimplicial resolution of the triple. This allows us to construct a Bousfield-Kan completion functor with respect to a triple, and for pointed cofibrantly-generated model categories a Bousfield-Kan spectral sequence that computes the relative homotopy groups of the Bousfield-Kan completion of an object. This is the text of my PhD thesis, worked under the supervision of Prof. Haynes Miller, submitted on Feb. 1999 at MIT.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.