Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeOct 25th 2020
   • PermaLink
   Author: Urs
   Format: MarkdownItexmade some minor cosmetic edits, such as replacing \bar W G (which comes out with too short an overline) with \overline{W} G <a href="https://ncatlab.org/nlab/revision/diff/Borel+model+structure/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Borel+model+structure/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Borel+model+structure">current</a>

   made some minor cosmetic edits, such as replacing

     \bar W G
   

   (which comes out with too short an overline) with

     \overline{W} G
   

   diff, v2, current

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJun 4th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have made the Quillen equivalence to the slice model structure over $\overline{W}G$ a little more explicit. Also streamlined other parts of the entry a little. <a href="https://ncatlab.org/nlab/revision/diff/Borel+model+structure/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/Borel+model+structure/5">v5</a>, <a href="https://ncatlab.org/nlab/show/Borel+model+structure">current</a>

   I have made the Quillen equivalence to the slice model structure over $\overline{W}G$ a little more explicit. Also streamlined other parts of the entry a little.

   diff, v5, current

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeJun 5th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added a remark ([here](https://ncatlab.org/nlab/show/Borel+model+structure#sSetEnrichmentOfAdjunctionToSliceOverSimpClassSpace)) making explicit that the adjunction with the slice over $\overline{W}G$ is indeed simplicial (a fact that is not quite made explicit in [Dror, Dwyer & Kan 80](https://ncatlab.org/nlab/show/Borel+model+structure#DDK80) ) <a href="https://ncatlab.org/nlab/revision/diff/Borel+model+structure/9">diff</a>, <a href="https://ncatlab.org/nlab/revision/Borel+model+structure/9">v9</a>, <a href="https://ncatlab.org/nlab/show/Borel+model+structure">current</a>

   I have added a remark (here) making explicit that the adjunction with the slice over $\overline{W}G$ is indeed simplicial (a fact that is not quite made explicit in Dror, Dwyer & Kan 80 )

   diff, v9, current

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeJun 5th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer also to * [[Paul Goerss]], [[J. F. Jardine]], Section V.2 (Thm. 2.3) of: _[[Simplicial homotopy theory]]_, Progress in Mathematics, Birkh&#228;user (1999) Modern Birkh&#228;user Classics (2009) ([doi:10.1007/978-3-0346-0189-4](https://link.springer.com/book/10.1007/978-3-0346-0189-4), [webpage](http://web.archive.org/web/19990208220238/http://www.math.uwo.ca/~jardine/papers/simp-sets/)) <a href="https://ncatlab.org/nlab/revision/diff/Borel+model+structure/10">diff</a>, <a href="https://ncatlab.org/nlab/revision/Borel+model+structure/10">v10</a>, <a href="https://ncatlab.org/nlab/show/Borel+model+structure">current</a>

   added pointer also to

   • Paul Goerss, J. F. Jardine, Section V.2 (Thm. 2.3) of: Simplicial homotopy theory, Progress in Mathematics, Birkhäuser (1999) Modern Birkhäuser Classics (2009) (doi:10.1007/978-3-0346-0189-4, webpage)

   diff, v10, current