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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma 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 foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 k-theory lie-theory 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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.
    • CommentAuthorTim_Porter
    • CommentTimeNov 7th 2016
    • (edited Nov 7th 2016)

    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 *X* \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 Ω ptE pt\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.

    • CommentRowNumber2.
    • CommentAuthormaxsnew
    • CommentTimeNov 7th 2016

    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 XX should be BB, gg should be the identity and then PP would be E ptE_{pt}, though the text is also not explicit about the fact that E ptE_{pt} can be constructed as a comma object, so I’d like confirmation before changing it.

    • CommentRowNumber3.
    • CommentAuthorTim_Porter
    • CommentTimeNov 7th 2016
    • (edited Nov 7th 2016)

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

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 7th 2016

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

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeNov 7th 2016

    Welcome to the forum, Max!

    Regarding the actual question, a couple of paragraphs above the text defined “a BB-bundle on some object XX”, so I expect the intent of the author is that we are still in that situation; gg is the classifying morphism of the BB-bundle PXP\to X. The point *X\ast\to X is arbitary; what the text would then be trying to say is that the fiber of PXP\to X over any point *X\ast \to X is Ω ptB\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 ptBE_{pt} \to B on the right rather than *B\ast \to B. In the special case when XX is BB and gg is the identity, then P=E ptP = E_{pt}, and we see that the fiber of the generalized universal bundle itself over the basepoint is the loop space Ω ptB\Omega_{pt} B. Perhaps it would be clearer to state only that case, as you suggest. Anyone else have an opinion?

    • CommentRowNumber6.
    • CommentAuthormaxsnew
    • CommentTimeNov 8th 2016

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

  1. 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 XX 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’.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeNov 8th 2016

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

    • CommentRowNumber9.
    • CommentAuthorRichard Williamson
    • CommentTimeNov 8th 2016
    • (edited Nov 8th 2016)

    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.

    • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeNov 9th 2016

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

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

    • CommentRowNumber12.
    • CommentAuthormaxsnew
    • CommentTimeNov 10th 2016

    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)?

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 11th 2016

    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.

    • CommentRowNumber14.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 11th 2016

    Or at least give him the weekend off.

    • CommentRowNumber15.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 11th 2016

    Indeed, David. :-)

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeNov 11th 2016

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

    • CommentRowNumber17.
    • CommentAuthormaxsnew
    • CommentTimeNov 12th 2016

    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.

    • CommentRowNumber18.
    • CommentAuthorMike Shulman
    • CommentTimeNov 14th 2016

    Looks fine to me, thanks!

    • CommentRowNumber19.
    • CommentAuthorHarry Gindi
    • CommentTimeNov 17th 2021
    • (edited Nov 17th 2021)
    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).
    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2021
    • (edited Nov 18th 2021)

    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