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.
    • CommentAuthorUrs
    • CommentTimeApr 18th 2023

    weirdly, this page never linked to simplicial groupoid. I am adjusting a little…

    diff, v8, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 18th 2023

    added missing pointer to:

    diff, v8, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 20th 2023

    Added (here) the objervation that acyclic fibrations of simplicial groupoids are surjective on objects (with a lazy proof)

    diff, v13, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2023

    added statement of the characterization of the cofibrations

    diff, v14, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2023

    added remark (here) on the relation to the model structure on simplicial groups

    diff, v14, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2023

    Mostly as a reminder to myself: Want to add a remark that the model structure on simplicial groupoids is cartesian monoidal.

    Namely the preservation of (acyclic) injections under pushout-product is essentially inherited from sSet QusSet_{Qu}, and only that freeness condition on the codomain needs to be argued. But it should be exactly the pushout property of the domain which should ensure that its image in the codomain does not exceed the given basis morphisms.

    Something like this. Will make a note later, need to go offline now.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2023
    • (edited Apr 25th 2023)

    added pointer to:

    [edit: Hm, the definition of the functor “U GU_G” on p. 4 is lacking statement of the free generation.]

    diff, v18, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2023

    added (here) statement of cofibrant generation and right properness

    diff, v18, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2023

    added missing cross-link with the model structure on sSet-categories

    and added (here) statement of the evident Quillen adjunction

    sSet-Grpd DK QuιFsSet-Cat Berg. sSet\text{-}Grpd_{DK} \underoverset {\underset{\iota}{\hookrightarrow}} {\overset{F}{\longleftarrow}} {\;\;\; \bot_{\mathrm{Qu}} \;\;\;} sSet\text{-}Cat_{Berg} \,.

    diff, v23, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2023
    • (edited May 14th 2023)

    added (here) mentioning of the functor

    sGrp sSet-Grpd 𝒢 B𝒢 \array{ sGrp &\hookrightarrow& sSet\text{-}Grpd \\ \mathcal{G} &\mapsto& \mathbf{B}\mathcal{G} }

    and its homotopical properties.

    diff, v24, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMay 29th 2023
    • (edited May 29th 2023)

    I have made explicit (here) a corollary of Minichiello, Rivera & Zeinalian (2023), namely that the composite

    sSet-Grpd DK QuιFsSet-CatNsSet KQ sSet\text{-}Grpd_{DK} \underoverset {\underset{\iota}{\hookrightarrow}} {\overset{F}{\longleftarrow}} {\;\;\; \bot_{\mathrm{Qu}} \;\;\;} sSet\text{-}Cat \underoverset {\underset{N}{\longrightarrow}} {\overset{\mathfrak{C}}{\longleftarrow}} {\;\;\; \bot \;\;\;} sSet_{KQ}

    is a Quillen adjunction with respect to the Kan-Quillen model structure on sSetsSet.

    diff, v26, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMay 31st 2023

    added pointer to:

    diff, v28, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJun 1st 2023

    added (here) the observation that every object of sSet-Grpd DKsSet\text{-}Grpd_{DK} has a bifibrant resolution by a skeleton.

    diff, v29, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2023

    added previously missing clause in the definition of free maps (here)

    diff, v31, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2023

    Added statement and proof (under “Examples”, here) that for a GG-set WW we have a Quillen adjunction

    sSet-Grpd /BG QuMap(WG,) BG(WG)× BG()sSet-Grpd /BG. sSet\text{-}Grpd_{/\mathbf{B}G} \underoverset { \underset{ Map\big( W \sslash G, - \big)_{\mathbf{B}G} }{\longleftarrow} } { \overset{ (W \sslash G) \times_{\mathbf{B}G} (-) }{\longrightarrow} } { \bot_{\mathrlap{Qu}} } sSet\text{-}Grpd_{/\mathbf{B}G} \,.

    diff, v33, current