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

(0 1)-category-theory 2-category 2-category-theory 2-monad abelian-categories accessible adjoint algebra algebraic algebraic-geometry analysis arithmetic beauty book bug bundle categories category category-theory chern-simons-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry conference connection constructive constructive-mathematics cosmology database deformation-theory descent differential differential-cohomology differential-geometry duality enriched enriched-category-theory enrichment examples factorization-system fiber fibration forms foundation foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory homtopy-type-theory infinity-groupoid infinity-topos integration-theory internal-categories kan lie-algebras lie-theory limit limits linear linear-algebra locale localization localization-theory logic manifolds mathematics measure measure-theory mechanics meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism n-groups newpage noncommutative noncommutative-geometry object operator operator-algebra order-theory philosophy physics predicative pretopology pro-object probability-theory quantum quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry set set-theory sheaf simplicial site space stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry tannaka tensor terminology theory topologica-quantum-field-theory topology topos topos-theory torsor tqft type type-theory universal weighted-limit

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 21st 2011
   • (edited Feb 21st 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexhave created [[model structure on reduced simplicial sets]] (I thought I had a vague memory that this or something similarly titled already existed, but apparently it didn't). Also added a little bit more detail on the Quillen equivalence with simplicial groups here and there, notably in the last section at [[groupoid object in an (infinity,1)-category]]

   have created model structure on reduced simplicial sets

   (I thought I had a vague memory that this or something similarly titled already existed, but apparently it didn’t).

   Also added a little bit more detail on the Quillen equivalence with simplicial groups here and there, notably in the last section at groupoid object in an (infinity,1)-category

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeApr 13th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexthe [[model structure on reduced simplicial sets]]: is is cofibrantly generated? Does the projective model structure on functors with values in it exist?

   the model structure on reduced simplicial sets: is is cofibrantly generated? Does the projective model structure on functors with values in it exist?

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeApr 13th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexNever mind, Danny kindly points out that it follows easily from prop. A.2.6.13 of [[Higher Topos Theory|HTT]].

   Never mind, Danny kindly points out that it follows easily from prop. A.2.6.13 of HTT.