Not signed in (Sign In)

Start a new discussion

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory 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 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 infinity integration integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monads monoid 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 planar 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 stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorZhen Lin
    • CommentTimeJun 29th 2014

    I added the remark that the canonical model structure on Cat is the model structure obtained by transferring the projective model structure on bisimplicial sets.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJun 29th 2014

    That statement sounded very confusing until I looked at the page and realized you were transferring it along Rezk’s classifying diagram functor!

    Surely you’ll get the same thing if you transfer the injective/Reedy model structure?

  1. There is a unique model structure on Cat with the weak equivalences the equivalences of categories (at least assuming AC). So if these other variants transfer then they give the same model structure.

    • CommentRowNumber4.
    • CommentAuthorZhen Lin
    • CommentTimeJun 29th 2014

    Huh. That’s surprising – for instance, Beke has shown that there are different choices of cofibrations in sSetsSet for the usual weak homotopy equivalences in sSetsSet. How does one prove uniqueness for CatCat?

  2. Another nice exercise along these lines is to show (again assuming AC) that the category of sets has precisely nine Quillen model structures, no more, no less.

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 30th 2014

    Chris, that’s just great; thank you! I’ve now mentioned this at canonical model structure on Cat (just something quick for now, with links). I hope a fuller treatment will appear at some point within the nLab (and really this result deserves to be shouted from the rooftops; I had not heard it either).

    • CommentRowNumber8.
    • CommentAuthorZhen Lin
    • CommentTimeJul 1st 2014

    Very nice result! I suppose this is the ultimate justification for the name ‘canonical’.

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 2nd 2014

    I went ahead and did a write-up of the uniqueness result, pretty much exactly Chris’s proof with only a few minor changes.

    • CommentRowNumber10.
    • CommentAuthorCharles Rezk
    • CommentTimeApr 9th 2015
    • (edited Apr 9th 2015)

    I added a reference to the earliest reference for the canonical model structure (although only for 1-groupoids) that I am aware of.

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 10th 2015

    @Charles where did you add this? Neither canonical model structure on groupoids or canonical model structure on Cat show recent edits. Is this reference prior to

    D.W. Anderson, Fibrations and Geometric Realizations, Bull. Am. Math Soc. 84, 765-786, (1978), 765-786.

    as shown at canonical model structure on groupoids?

    • CommentRowNumber12.
    • CommentAuthorCharles Rezk
    • CommentTimeApr 11th 2015

    Oh, apparently I added it to canonical model structure, which seems not to be cross-linked with the pages you mention.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2015

    Thanks for the alert. I have added the missing cross-links.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2015

    Looking at the entry made me move all the references to the bottom of the entry and edit a bit to make it more standard. (new References section).

    Also, I notice that the pointer to Anderson has been there are model structure on Grpd all along. Everbody who cares about the quality of the nLab: please take this incident as further incentive to be mindful about adding sufficient cross-links.

    • CommentRowNumber15.
    • CommentAuthorJohn Baez
    • CommentTimeOct 10th 2019

    I added a brief comparison to the Thomason model structure, just to make it easy for readers to find that page.

    diff, v20, current

    • CommentRowNumber16.
    • CommentAuthorRodMcGuire
    • CommentTimeOct 10th 2019

    The link in

    Along similar lines, one can prove (assuming AC) that there are nine – count ’em, nine – Quillen model structures on SetSet.

    is broken.

    That page is available via Wayback

    https://web.archive.org/web/20150924020643/http://www.math.harvard.edu/~oantolin/notes/modelcatsets.html

    but its math symbols are broken.

    However Omar Antolín Camarena is now in Mexico and hosts the page there so I swapped in the link

    https://www.matem.unam.mx/~omar/notes/modelcatsets.html

    diff, v21, current

    • CommentRowNumber17.
    • CommentAuthorDmitri Pavlov
    • CommentTime3 days ago

    Added a reference to CatLab.

    diff, v23, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)