Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMar 30th 2016
   • (edited Mar 30th 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexHave added to _[[pushout-product]]_ the statement ([here](https://ncatlab.org/nlab/show/pushout-product#Properties)) that pushout product $\Box$ of $I_1$-cofibrations with $I_2$-cofibrations lands in $(I_1\Box I_2)$-cofibrations; and ([here](https://ncatlab.org/nlab/show/pushout-product#Examples)) the example of pushout products of the inclusions $S^{n-1} \hookrightarrow D^n$. Both without proof for the moment.

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

2. • CommentRowNumber2.
   • CommentAuthorKarol Szumiło
   • CommentTimeSep 13th 2016
   • PermaLink
   Author: Karol Szumiło
   Format: MarkdownItexHere 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?

   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?

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeSep 13th 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have been saying "pullback powering" for it.

   I have been saying “pullback powering” for it.

4. • CommentRowNumber4.
   • CommentAuthorKarol Szumiło
   • CommentTimeSep 13th 2016
   • PermaLink
   Author: Karol Szumiło
   Format: MarkdownItexThanks 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.

   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.

5. • CommentRowNumber5.
   • CommentAuthorMike Shulman
   • CommentTimeSep 13th 2016
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThat is pretty good. Is it recorded on the nLab anywhere?

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

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeSep 13th 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have used that term without much ado in entries such as _[[enriched model category]]_, _[[classical model structure on topological spaces]]_, _[[model structure on orthogonal spectra]]_.

   I have used that term without much ado in entries such as enriched model category, classical model structure on topological spaces, model structure on orthogonal spectra.

7. • CommentRowNumber7.
   • CommentAuthorMike Shulman
   • CommentTimeSep 14th 2016
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexOk, I created a stub [[pullback power]].

   Ok, I created a stub pullback power.

8. • CommentRowNumber8.
   • CommentAuthorDmitri Pavlov
   • CommentTimeSep 14th 2016
   • PermaLink
   Author: Dmitri Pavlov
   Format: MarkdownItexI actually used “pullback hom” in my papers. It may sound awkward, but it seems more descriptive than “pullback power”.

   I actually used “pullback hom” in my papers.

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

9. • CommentRowNumber9.
   • CommentAuthorKarol Szumiło
   • CommentTimeSep 14th 2016
   • PermaLink
   Author: Karol Szumiło
   Format: MarkdownItexThe 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".

   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”.

10. • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 13th 2017
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexIn [A Generalized Blakers-Massey Theorem](https://arxiv.org/abs/1703.09050) they call the dual of the pushout product, 'pullback hom' (3.1.2).

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