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 accessible 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 comma complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity 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 infinity integration integration-theory k-theory kan lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal

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.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 7th 2012

    I’ve added to the formerly stubby long line.

    Incidentally, I thought the one-point compactification of the long line was called the “long circle”, but I don’t see mention of that via google. What’s that thing called?

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeSep 8th 2012

    There’s a question of whether the long circle should be the one point compactification of the long line, or the result of gluing the long ray into a loop. Note that some people like Steen and Seebach use ’long line’ to mean the long ray. I don’t know a reference for ’long circle’, but its use to mean something like this seems fairly obvious.

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 8th 2012

    Thanks, Mike. Perhaps one doesn’t see many references because the interest in the long line is that it’s a topological manifold, but the ’long circle’ (under whatever definition) isn’t.

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 8th 2012

    While fixing a mistake at long line, I noticed that at the misstated property, Toby had edited to “Tychonoff product”. Is that supposed to be the same as the categorical product for TopTop? If so, I don’t see how the ’Tychonoff’ is really needed.

    • CommentRowNumber5.
    • CommentAuthorTobyBartels
    • CommentTimeSep 9th 2012

    It’s only need to link to the correct page. But that page is not there! I will make it.

    • CommentRowNumber6.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 9th 2012

    Thanks. I guess that means that you thought you had created that page sometime in the past, but hadn’t. I was just puzzled by the idea that while there must be hundreds of places scattered around the nLab where one refers to the product of spaces, somehow long line created a sudden urge to refer to the “Tychonoff product”! :-) But now I see that’s probably not what happened here.

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 15th 2017

    The usual line (or rather, ray) [0,)[0, \infty), as an ordered set, has a nice coalgebraic description: it is the terminal coalgebra for the functor F:PosPosF: Pos \to Pos that sends a poset XX to ×X\mathbb{N} \times X endowed with the lexicographic order. (See continued fraction.) Does anyone have an idea what the terminal coalgebra for Xω 1×XX \mapsto \omega_1 \times X (the latter with lexicographic order) looks like? I don’t suppose that it’s the long ray. Something like a super-long ray??

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 15th 2017

    Musing about my own question, maybe the answer is located in some subfield of the surreal numbers

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeMay 15th 2017

    Interesting question. It does seem like it ought to be a “long ray” that’s also “locally long” in that it’s isomorphic to its own subintervals [n,n+1)[n,n+1).