Not signed in (Sign In)

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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation 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-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology 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 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 tqft 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.
    • CommentAuthorDmitri Pavlov
    • CommentTimeSep 18th 2021

    Initial version:

    Idea

    Thomason-type model categories provide simple 1-categorical models for (∞,1)-categorical objects.

    The provide a particularly convenient setting for results like Quillen’s Theorem A and Theorem B.

    Examples

    |(∞,1)-categorical structure|1-categorical structure|model structure| |∞-groupoid|category|Thomason model structure| |∞-groupoid|poset|model structure on posets| |(∞,1)-category|relative category|Barwick–Kan model structure| |connective spectra|symmetric monoidal groupoid|Fuentes-Keuthan model structure|

    Related concepts

    References

    […]

    v1, current

    • CommentRowNumber2.
    • CommentAuthorHurkyl
    • CommentTimeSep 19th 2021
    • (edited Sep 19th 2021)

    For the example of the model structure on RelCat… I think the “Barwick-Kan” model structure better applies for the model structure that presents simplicial spaces, since that’s the one they lay out in “RELATIVE CATEGORIES: ANOTHER MODEL FOR THE HOMOTOPY THEORY OF HOMOTOPY THEORIES”

    As for the model structure presenting (∞,1)-categories, Barwick-Kan, in “IN THE CATEGORY OF RELATIVE CATEGORIES THE REZK EQUIVALENCES ARE EXACTLY THE DK-EQUIVALENCES”, call them Rezk equivalences since they are transferred from Rezk’s model structure for complete Segal spaces. (they also define Dwyer-Kan equivalences and prove they are the same thing)

    So, I’ve been calling that the “Rezk” model structure on relative categories. Maybe “Barwick-Kan-Rezk” would be better.

    • CommentRowNumber3.
    • CommentAuthorDmitri Pavlov
    • CommentTimeSep 19th 2021
    • (edited Sep 19th 2021)

    @Hurkyl: No, the correct notion of a weak equivalence between relative categories was identified by Dwyer and Kan way back in the 1980s: it is a relative functor that induces a weak equivalence of simplicial categories on its hammock localization. All the other notions, e.g., the one induced from Rezk’s model structure, are equivalent to this one, and were introduced much later.

    But it was Barwick and Kan that promoted this notion of a weak equivalence to an actual model structure. So it can be rightfully called the Barwick–Kan model structure.

    • CommentRowNumber4.
    • CommentAuthorHurkyl
    • CommentTimeSep 20th 2021
    • (edited Sep 20th 2021)

    Fine, Barwick-Dwyer-Kan. Or Barwick-Dwyar-Kan-Rezk. Or whatever. The point is to distinguish the model structure Barwick-Kan showed existed and fleshed out its properties (and which presents a useful infinity category) from its localization which presents infinity categories.

    Having the specific label Barwick-Kan apply to that model structure rather than its localization seems by far the most natural meaning. shrug

    • CommentRowNumber5.
    • CommentAuthorDmitri Pavlov
    • CommentTimeSep 20th 2021

    In their paper “Relative categories: Another model for the homotopy theory of homotopy theories”, Barwick and Kan not only showed that the Reedy model structure on simplicial spaces transfers to RelCat, they also proved that any left Bousfield localization of the Reedy model structure transfers to RelCat.

    However, I have never seen any applications of the transferred Reedy model structure on RelCat, whereas the localized model structure has tons of applications.

    I am not sure why we need a designated name for a model structure that is never used outside of Barwick and Kan’s paper.