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

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
    • CommentTimeMar 30th 2016
    • (edited Mar 30th 2016)

    Have added to pushout-product the statement (here) that pushout product \Box of I 1I_1-cofibrations with I 2I_2-cofibrations lands in (I 1I 2)(I_1\Box I_2)-cofibrations; and (here) the example of pushout products of the inclusions S n1D nS^{n-1} \hookrightarrow D^n. Both without proof for the moment.

    • CommentRowNumber2.
    • CommentAuthorKarol Szumiło
    • CommentTimeSep 13th 2016

    Here is a terminology question. Does anyone know or have suggestions for a nice name for the right adjoint(s) to the pushout product? Whenever I have to name one, I usually end up saying something like “dual pushout product” which is a mouthful and difficult to work into sentences. As explained in Joyal-Tierney calculus they are sometimes called “left quotient” and “right quotient” which I don’t like, these constructions are nothing like quotients. (I can only imagine that this arose because when the tensor is join of simplicial sets, then the right adjoints are slices and they are sometimes notated like quotients. But that’s just a coincidence of notation.) I was also thinking about directly dualizing “pushout product” to something like “pullback hom” which is sort of descriptive but just doesn’t sound good to me.

    Can anyone help me with this riddle and suggest something that is both evocative and reasonably concise?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 13th 2016

    I have been saying “pullback powering” for it.

    • CommentRowNumber4.
    • CommentAuthorKarol Szumiło
    • CommentTimeSep 13th 2016

    Thanks for a suggestion. “Pullback power” is similar to my “pullback hom”, but I agree that it sounds less awkward. That’s probably a good name.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeSep 13th 2016

    That is pretty good. Is it recorded on the nLab anywhere?

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeSep 13th 2016
    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeSep 13th 2016

    Ok, I created a stub pullback power.

    • CommentRowNumber8.
    • CommentAuthorDmitri Pavlov
    • CommentTimeSep 14th 2016

    I actually used “pullback hom” in my papers.

    It may sound awkward, but it seems more descriptive than “pullback power”.

    • CommentRowNumber9.
    • CommentAuthorKarol Szumiło
    • CommentTimeSep 14th 2016

    The thing is that while right adjoints to some tensors are really hom objects, sometimes they are more general. I think “pullback power” is sufficiently generic to describe all such situations. Also “power” sounds to me more like an actual noun than “hom”.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 13th 2017

    In A Generalized Blakers-Massey Theorem they call the dual of the pushout product, ’pullback hom’ (3.1.2).

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)