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

Discussion Tag Cloud

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 14th 2013
    • (edited Apr 14th 2013)

    Added to A-infinity category the references pointed to by Bruno Valette here.

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 15th 2013
    • (edited Apr 15th 2013)

    Is there a model structure known on the category of A A_\infty-categories, where we use topological A A_\infty algebras instead of chain complexes or what-have-you? I’m imagining that we might have such a model structure presenting (,1)Cat(\infty,1)Cat, but perhaps there are obstructions to this idea.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2013
    • (edited Apr 15th 2013)

    For a fixed set of objects this is given by the pertinent model structure on algebras over an operad.

    From there one can try to take a kind of colimit as the set of objects varies. For low nn this is discussed a bit in section 5 of

    • Andor Lucacs, Cyclic Operads, Dendroidal Structures, Higher Categories (pdf)
    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 15th 2013
    • (edited Apr 15th 2013)

    I’m not sure how nn relates to anything I asked, but to elicit a clarification, let me say I’m interested in when I have a topological or Lie group GG or for the present, a Lie group, and when I can properly claim that 𝔹G\mathbb{B}G is equivalent to 𝔹ΩBG\mathbb{B}\Omega BG, where BGBG is a classifying space for GG, as simplicial sheaves on TopTop or DiffDiff. I’m not just interested in one-object things, though, but the many-object things I think will all be ordinary internal groupoids.

    EDIT: Am I correct in guessing that I need n=n=\infty, in that loop spaces are generally not algebras for A nA_n?

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2013
    • (edited Apr 15th 2013)

    The “nn” was for “nn-category” as usual. When you look at that thesis you’ll see that it discusses (“weak”) nn-categories for low nn as algebras over homotopy associative operads, hence as A A_\infty-categories.

    For A A_\infty-spaces such as loop spaces you can use (any of the) model structures on algebras over an operad, for instance. As well as of course many other models which do not use operads explicitly.

    For the classifying space of a topological group to me a model of its delooping in the category-theoretic sense it is sufficient for the group to be well-pointed, as I think you know. See at geometric realization of simplicial topological spaces – Classifying spaces.

    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 15th 2013
    • (edited Apr 15th 2013)

    Here I’m thinking of 𝔹ΩBG\mathbb{B}\Omega BG as an A A_\infty-category, so really I’m thinking of a lift of the standard equivalence GΩBGG\sim \Omega BG in spaces (which is what you linked to) to one of A A_\infty-categories, for some appropriate model structure. I’ll have to have a bit of a read …

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2013

    Yeah but for the one-object case this is all equivalent. See around “May recognition theorem” in Luries Higher Algebra, for instance.

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 16th 2013

    ok, I’ll check it out. Thanks, but I may have questions :-)