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.
   • CommentAuthorTim_Porter
   • CommentTimeNov 7th 2016
   • (edited Nov 7th 2016)
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItexMax New: at (129.10.9.38) has put a query on the [[generalized universal bundle]] entry. It says: >I don't understand the above diagram, what is the point $* \to X$ in question? and how does this relate to the universal bundle? In particular, there is a sequence below that has a map from $\Omega_{pt} \to \mathbf{E}_{pt}$ but I don't see how to construct that from the above. >So I think this is a typo, but I don't know enough to correct it.

   Max New: at (129.10.9.38) has put a query on the generalized universal bundle entry. It says:

   I don’t understand the above diagram, what is the point $* \to X$ in question? and how does this relate to the universal bundle? In particular, there is a sequence below that has a map from $\Omega_{pt} \to \mathbf{E}_{pt}$ but I don’t see how to construct that from the above.

   So I think this is a typo, but I don’t know enough to correct it.

2. • CommentRowNumber2.
   • CommentAuthormaxsnew
   • CommentTimeNov 7th 2016
   • PermaLink
   Author: maxsnew
   Format: MarkdownItexHi, this was me (and my name really is Max New). After looking at the [loop space object](https://ncatlab.org/nlab/show/loop+space+object) page more closely I'm pretty sure $X$ should be $B$, $g$ should be the identity and then $P$ would be $E_{pt}$, though the text is also not explicit about the fact that $E_{pt}$ can be constructed as a comma object, so I'd like confirmation before changing it.

   Hi, this was me (and my name really is Max New).

   After looking at the loop space object page more closely I’m pretty sure $X$ should be $B$, $g$ should be the identity and then $P$ would be $E_{pt}$, though the text is also not explicit about the fact that $E_{pt}$ can be constructed as a comma object, so I’d like confirmation before changing it.

3. • CommentRowNumber3.
   • CommentAuthorTim_Porter
   • CommentTimeNov 7th 2016
   • (edited Nov 7th 2016)
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItexMax, I carefully did not assume your title was a pseudonym. (The lowercase n was a typo, sorry). The `named' was to allow for the possibility that it was! I have amended the wording. Welcome to the forum. My point in copying your query here was to draw the attention of others to your query. (Putting a query on a page is not that good a way of asking it as some pages are rarely visited.)

   Max, I carefully did not assume your title was a pseudonym. (The lowercase n was a typo, sorry). The ‘named’ was to allow for the possibility that it was! I have amended the wording.

   Welcome to the forum.

   My point in copying your query here was to draw the attention of others to your query. (Putting a query on a page is not that good a way of asking it as some pages are rarely visited.)

4. • CommentRowNumber4.
   • CommentAuthorTodd_Trimble
   • CommentTimeNov 7th 2016
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexOn the other hand, the nForum *is* a good way to ask questions about nLab articles. :-)

   On the other hand, the nForum is a good way to ask questions about nLab articles. :-)

5. • CommentRowNumber5.
   • CommentAuthorMike Shulman
   • CommentTimeNov 7th 2016
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexWelcome to the forum, Max! Regarding the actual question, a couple of paragraphs above the text defined "a $B$-bundle on some object $X$", so I expect the intent of the author is that we are still in that situation; $g$ is the classifying morphism of the $B$-bundle $P\to X$. The point $\ast\to X$ is arbitary; what the text would then be trying to say is that the fiber of $P\to X$ over *any* point $\ast \to X$ is $\Omega_{pt} B$, although if this is the intent then the surrounding text needs clarification. In particular I think the left-hand square in the diagram should be a strict pullback, hence have no $\Downarrow$ in it; the right one would be a strict pullback if it had $E_{pt} \to B$ on the right rather than $\ast \to B$. In the special case when $X$ *is* $B$ and $g$ *is* the identity, then $P = E_{pt}$, and we see that the fiber of the generalized universal bundle itself over the basepoint is the loop space $\Omega_{pt} B$. Perhaps it would be clearer to state only that case, as you suggest. Anyone else have an opinion?

   Welcome to the forum, Max!

   Regarding the actual question, a couple of paragraphs above the text defined “a $B$-bundle on some object $X$”, so I expect the intent of the author is that we are still in that situation; $g$ is the classifying morphism of the $B$-bundle $P\to X$. The point $\ast\to X$ is arbitary; what the text would then be trying to say is that the fiber of $P\to X$ over any point $\ast \to X$ is $\Omega_{pt} B$, although if this is the intent then the surrounding text needs clarification. In particular I think the left-hand square in the diagram should be a strict pullback, hence have no $\Downarrow$ in it; the right one would be a strict pullback if it had $E_{pt} \to B$ on the right rather than $\ast \to B$. In the special case when $X$ is $B$ and $g$ is the identity, then $P = E_{pt}$, and we see that the fiber of the generalized universal bundle itself over the basepoint is the loop space $\Omega_{pt} B$. Perhaps it would be clearer to state only that case, as you suggest. Anyone else have an opinion?

6. • CommentRowNumber6.
   • CommentAuthormaxsnew
   • CommentTimeNov 8th 2016
   • PermaLink
   Author: maxsnew
   Format: MarkdownItexMike, I don't see how the same $\Omega_{pt} B$ could arise from an arbitrary pointed $X$. For instance, what if $X = *$ and $g$ picks out a point that has no paths from pt? Then $P$ would be empty and so would $\Omega_{pt}$, but I think $\Omega_{pt}$ should be all the endomorphisms of pt.

   Mike, I don’t see how the same $\Omega_{pt} B$ could arise from an arbitrary pointed $X$. For instance, what if $X = *$ and $g$ picks out a point that has no paths from pt? Then $P$ would be empty and so would $\Omega_{pt}$, but I think $\Omega_{pt}$ should be all the endomorphisms of pt.

7. • CommentRowNumber7.
   • CommentAuthorRichard Williamson
   • CommentTimeNov 8th 2016
   • PermaLink
   Author: Richard Williamson
   Format: MarkdownItexI would definitely state the basic case, where one just takes the fibre using the same point, on its own first, straight after the first definition in the section (i.e. before the $X$ enters). I also agree with Max: the claim is wrong as stated. What one gets in general is the 'object of paths' from one of the points to the other. This is certainly not isomorphic or even homotopy equivalent (where this is defined using the interval object) to the loop object in general, as his example shows. I would say that the use of both 'lax pullback' and 'comma object' is also not optimal. I would be fine with 'homotopy pullback', but best would probably be 'double mapping co-cylinder'.

   I would definitely state the basic case, where one just takes the fibre using the same point, on its own first, straight after the first definition in the section (i.e. before the $X$ enters).

   I also agree with Max: the claim is wrong as stated. What one gets in general is the ’object of paths’ from one of the points to the other. This is certainly not isomorphic or even homotopy equivalent (where this is defined using the interval object) to the loop object in general, as his example shows.

   I would say that the use of both ’lax pullback’ and ’comma object’ is also not optimal. I would be fine with ’homotopy pullback’, but best would probably be ’double mapping co-cylinder’.

8. • CommentRowNumber8.
   • CommentAuthorMike Shulman
   • CommentTimeNov 8th 2016
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexYou're right, probably whoever wrote it was assuming that $B$ was connected. And I also would prefer "homotopy pullback" -- "lax pullback" and "comma object" sound too directed.

   You’re right, probably whoever wrote it was assuming that $B$ was connected. And I also would prefer “homotopy pullback” – “lax pullback” and “comma object” sound too directed.

9. • CommentRowNumber9.
   • CommentAuthorRichard Williamson
   • CommentTimeNov 8th 2016
   • (edited Nov 8th 2016)
   • PermaLink
   Author: Richard Williamson
   Format: MarkdownItexYes, if there is a path (with respect to the given interval object) between the two points (being careful about direction if the interval object does not an involution structure), then one will be able to use the universal property of the double mapping co-cylinder to construct a homotopy equivalence between the loop object and the object of paths. It seems that the original author did intend for directed-ness to be considered. However, I still think that 'homotopy pullback' stays closer to the motivating examples, whilst not disallowing being understood to mean 'directed homotopy pullback'. Because probably, if one really wishes to keep the directed-ness in mind, then one should speak of a directed loop space object, etc: one has to be careful about this everywhere.

   Yes, if there is a path (with respect to the given interval object) between the two points (being careful about direction if the interval object does not an involution structure), then one will be able to use the universal property of the double mapping co-cylinder to construct a homotopy equivalence between the loop object and the object of paths.

   It seems that the original author did intend for directed-ness to be considered. However, I still think that ’homotopy pullback’ stays closer to the motivating examples, whilst not disallowing being understood to mean ’directed homotopy pullback’. Because probably, if one really wishes to keep the directed-ness in mind, then one should speak of a directed loop space object, etc: one has to be careful about this everywhere.

10. • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeNov 9th 2016
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexI don't really think it makes sense to use any of this language in the directed case.

    I don’t really think it makes sense to use any of this language in the directed case.

11. • CommentRowNumber11.
    • CommentAuthorRichard Williamson
    • CommentTimeNov 9th 2016
    • PermaLink
    Author: Richard Williamson
    Format: MarkdownItexYes, I agree really. In particular, thinking about it fractionally more, I think one needs the involution structure to get both directions of the homotopy equivalence I was referring to in the first paragraph of #9.

    Yes, I agree really. In particular, thinking about it fractionally more, I think one needs the involution structure to get both directions of the homotopy equivalence I was referring to in the first paragraph of #9.

12. • CommentRowNumber12.
    • CommentAuthormaxsnew
    • CommentTimeNov 10th 2016
    • PermaLink
    Author: maxsnew
    Format: MarkdownItexIt looks like Urs Schreiber added this: https://ncatlab.org/nlab/revision/diff/generalized+universal+bundle/12, is there an easy way to ping him to this thread (besides just e-mail of course)?

    It looks like Urs Schreiber added this: https://ncatlab.org/nlab/revision/diff/generalized+universal+bundle/12, is there an easy way to ping him to this thread (besides just e-mail of course)?

13. • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 11th 2016
    • PermaLink
    Author: Todd_Trimble
    Format: MarkdownItexI don't know of any ping mechanism, but my expectation is that Urs reads every nForum post. I'd email him if he doesn't reply in a day or two.

    I don’t know of any ping mechanism, but my expectation is that Urs reads every nForum post. I’d email him if he doesn’t reply in a day or two.

14. • CommentRowNumber14.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 11th 2016
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexOr at least give him the weekend off.

    Or at least give him the weekend off.

15. • CommentRowNumber15.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 11th 2016
    • PermaLink
    Author: Todd_Trimble
    Format: MarkdownItexIndeed, David. :-)

    Indeed, David. :-)

16. • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeNov 11th 2016
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexIt would be more in the wiki spirit to just fix it ourselves; Urs is plenty busy already.

    It would be more in the wiki spirit to just fix it ourselves; Urs is plenty busy already.

17. • CommentRowNumber17.
    • CommentAuthormaxsnew
    • CommentTimeNov 12th 2016
    • PermaLink
    Author: maxsnew
    Format: MarkdownItexOk, I've updated it based on my understanding. I'd like to argue against making the section more homotopy-y because the page is explicitly meant to also describe various higher Grothendieck constructions, and I was using it to get a handle on the correspondence between functors into a category and normal lax functors to Dist, so the more categorical terminology was quite helpful.

    Ok, I’ve updated it based on my understanding. I’d like to argue against making the section more homotopy-y because the page is explicitly meant to also describe various higher Grothendieck constructions, and I was using it to get a handle on the correspondence between functors into a category and normal lax functors to Dist, so the more categorical terminology was quite helpful.

18. • CommentRowNumber18.
    • CommentAuthorMike Shulman
    • CommentTimeNov 14th 2016
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexLooks fine to me, thanks!

    Looks fine to me, thanks!

19. • CommentRowNumber19.
    • CommentAuthorHarry Gindi
    • CommentTimeNov 17th 2021
    • (edited Nov 17th 2021)
    • PermaLink
    Author: Harry Gindi
    Format: TextIn the discussion of the generalized universal bundle for n-Cat, there are two important things to note: 1.) We are viewing B=n-Cat as pointed by the terminal n-category, and 2.) It's not actually the n-category of pointed n-categories but rather the oplax slice $n+1$-category $nCat_{\ast /_{\operatorname{oplax}}$. The objects of this n-category are indeed pointed n-categories (C,c), but the morphisms are given by functors F:C→D together with a natural transformation f:F(c)→d, 2-cells are given by natural transformations of functors together with data of a 2-cell between F(c)→F'(c)→d and F(c)→d, and so on (forgive me if this isn't oplax, but I think it should be). As for why this is the case, you have the interval object Δ^1 still, and forming either the (op?)lax arrow n-category Lax(Δ^1,C) for any n-category C maps down to C×C via some kind of higer bifibration such that C(c,c') is the fibre of Lax(Δ^1,C)→C×C over the point Δ^0→C×C classifying (c,c'). Moreover, since in the n+1-category n-Cat, the Cartesian closed structure tells us that n-Cat(✱,C)=C, so pulling back to Δ^0 × nCat = nCat tells us that this is the exactly the fibration that assigns to the object C in nCat the n-category C. (where the lax arrow n-category means n-functors, lax natural transformations, modifications, etc).

    In the discussion of the generalized universal bundle for n-Cat, there are two important things to note:
    
    1.) We are viewing B=n-Cat as pointed by the terminal n-category, and
    2.) It's not actually the n-category of pointed n-categories but rather the oplax slice $n+1$-category $nCat_{\ast /_{\operatorname{oplax}}$.
    
    The objects of this n-category are indeed pointed n-categories (C,c), but the morphisms are given by functors F:C→D together with a natural transformation f:F(c)→d, 2-cells are given by natural transformations of functors together with data of a 2-cell between F(c)→F'(c)→d and F(c)→d, and so on (forgive me if this isn't oplax, but I think it should be).
    
    As for why this is the case, you have the interval object Δ^1 still, and forming either the (op?)lax arrow n-category Lax(Δ^1,C) for any n-category C maps down to C×C via some kind of higer bifibration such that C(c,c') is the fibre of Lax(Δ^1,C)→C×C over the point Δ^0→C×C classifying (c,c'). Moreover, since in the n+1-category n-Cat, the Cartesian closed structure tells us that n-Cat(✱,C)=C, so pulling back to Δ^0 × nCat = nCat tells us that this is the exactly the fibration that assigns to the object C in nCat the n-category C.
    
    (where the lax arrow n-category means n-functors, lax natural transformations, modifications, etc).
20. • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2021
    • (edited Nov 18th 2021)
    • PermaLink
    Author: Urs
    Format: MarkdownItexThis is a relatively ancient entry (I have now fixed formatting of the diagrams), started before much higher categorical sophistication was around here. Your comment seems to pertain to [this section](https://ncatlab.org/nlab/show/generalized+universal+bundle#UniversanNCategoryBundles). This would certainly deserve to be expanded. If you could add your discussion there, it would be a nice contribution. <a href="https://ncatlab.org/nlab/revision/diff/generalized+universal+bundle/27">diff</a>, <a href="https://ncatlab.org/nlab/revision/generalized+universal+bundle/27">v27</a>, <a href="https://ncatlab.org/nlab/show/generalized+universal+bundle">current</a>

    This is a relatively ancient entry (I have now fixed formatting of the diagrams), started before much higher categorical sophistication was around here.

    Your comment seems to pertain to this section. This would certainly deserve to be expanded. If you could add your discussion there, it would be a nice contribution.

    diff, v27, current