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 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 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 integration integration-theory internal-categories itex k-theory lie lie-theory limit 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject 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.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2012
    • (edited Apr 26th 2012)

    I have done a fair bit of editing to décalage.

    1. expanded the Definition-section to make it contain explcitly the three different perspectives and their relation:

      a) in components, b) as a restriction of ordinary décalage, c) in terms of joins and cones;

    2. changed notation from “DecDec” to “Dec 0Dec_0”, not to collide with the notation for total décalage;

    3. finally added the explicit discussion and proof that for XX a Kan complex, Dec 0XXDec_0 X \to X is a Kan fibration replacement of the canonical effective epimorphism X 0XX_0 \to X. (you may remember – but hopefully not – that we had a bit of confused discussion about this a few years back, which I don’t want to keep from falling into oblivion by linking to it again… ;-)

    4. added more references with some of the lemmas that I am citing, mostly by Danny Stevenson, and also a technical result in Joyal’s lectures.

  1. In definition 3 I think \square is defined on sSet×sSetsSet\times sSet instead of on sSetsSet?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2012

    Yes, thanks! I have fixed it now.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2012


    I have further expanded the Idea-section at décalage. When you have a minute, could you look over it and tell me if this is the kind of introduction that you would find useful? (Or would have found useful, had I mentioned it earlier ;-)

  2. :-) Yes, absolutely. This would have spared me a couple of hours laboring with an inconvenient fibration replacement.

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeApr 26th 2012

    I have rearranged things a bit in that introductory section, saying informally what the construction is before going into what it does.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2012

    Thanks, Tim, that does look better. I have just broken the long sentence in half, where it leads over to my previous sentence.

    • CommentRowNumber8.
    • CommentAuthorTim_Porter
    • CommentTimeApr 26th 2012
    • (edited Apr 26th 2012)

    I wonder if the type of use I made of decalage in that Topology paper might not interpret nicely in other contexts, e.g. in simplicial sets. I think Simona Paoli looked at that but cannot remember what her conclusions were.

    • CommentRowNumber9.
    • CommentAuthorStephan A Spahn
    • CommentTimeApr 27th 2012
    • (edited Apr 27th 2012)

    The statement of Proposition 2 implicitly assumes that XX is connected, right? (Since the proof uses corollary 2 to lemma 1 which assumes this.)

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2012
    • (edited Apr 27th 2012)

    No, XX can be arbitrary. We are just using that the standard nn-simplex is connected.

    So we want to know what the nn-cells

    Δ[n]Dec 0X \Delta[n] \to Dec_0 X

    are. Since CC is defined to denote the left adjoint of Dec 0:sSetsSetDec_0 : sSet \to sSet, this are equivalently the morphisms

    C(Δ[n])X. C(\Delta[n]) \to X \,.

    To evaluate this we look at corollary 1 and find that C(Δ[1])=Δ[1]Δ[0]C(\Delta[1]) = \Delta[1] \star \Delta[0].

    Ah, I see what may be confusing, the variable in corollary 1 is called “XX”, but here it takes the value Δ[n]\Delta[n]. I’ll change the name of that variable in corollary 1 .

    [edit: okay, I have renamed it to “SS”]

  3. Ok, I see.

  4. Written in a slightly misleading way. It’s not clear what the functor Δ opΔ op\Delta^{op}\to \Delta^{op} being referred to was - the identity? I don’t see how you get from the identity functor to the comonad.

    Patrick N.

    diff, v35, current

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 15th 2020
    • (edited Jan 16th 2020)

    Slightly misleading!? I’m not sure what you mean; more precisely, I don’t know where on the page you are looking.

    Conceptually, I find it simplest to work in the algebraists’ category of simplices, which is the category of finite ordinals and order-preserving maps. This is a monoidal category under ordinal sum ++. There the terminal object [0][0] is automatically a monoid. Hence [0][0] seen in the opposite category is a comonoid, which induces a comonad Δ opΔ op\Delta^{op} \to \Delta^{op} by [0]+()[0] +(-). This restricts to a comonad on the topologists’ category of simplices, i.e., the category of finite nonempty ordinals. That’s the decalage comonad.

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 16th 2020
    • (edited Jan 16th 2020)

    Anyway, I wish you had asked before performing such a substantial edit, which not only erased the flow of reasoning which had been there (which was not IMO misleading, even though the notation doesn’t quite match the notation introduced in edits that came after revision #5, the point in history where that section was first written), but introduces other infelicities (such as “natural functor” and “(co)monoidal product”, among others). I think the section will simply have to be rewritten again.

    Since this appears to be your first edit, let me say that except for minor typos, the general informal rule is not to excise other people’s work to such an extent, before discussing the issue here first.

    • CommentRowNumber15.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 16th 2020

    Extensive rewrite of the comonad section.

    diff, v37, current

    • CommentRowNumber16.
    • CommentAuthorGuest
    • CommentTimeFeb 8th 2020
    My apologies. I did not understand the section as rewritten and so felt I had to make some edits to it. I do not consider my edits to have been an "extensive excision";. Thank you for informing me of the cultural rules of this wiki. Is there something I have to do
    to get a membership account approved? I have not received any responses to my application.
    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeFeb 9th 2020

    Hi Patrick,

    welcome to the nnLab. Community editing is not always easy.

    As for getting your “membership account approved”: I am not aware of such a step. If you have trouble with the login here, our admins can probably help you: Richard Williamson and Alexis Hazell.

  5. Hi Patrick, could you let me know how you are trying to set up the account? I believe I have heard of people having similar problems, but am not sure exactly how to reproduce it.

  6. (I should say by the way that though I still glance at many, these days I am not reading all nForum threads, so I may overlook something if it is not flagged in an obvious place for me to see it :-)).

    • CommentRowNumber20.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 9th 2020
    • (edited Feb 9th 2020)

    Guest, the main thing is to ask here first if there’s something you didn’t understand, instead of just editing. But I hope the entry is clearer to you now.

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)