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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundle bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics 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 foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory itex k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory 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 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 scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory 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.
    • CommentAuthorMike Shulman
    • CommentTimeNov 30th 2016

    I added some discussion to Hausdorff space of how the localic and spatial versions compare in classical and constructive mathematics, including in particular the fact that I just learned (in discussion with Martin Escardo and Andrej Bauer) that a discrete locale is Hausdorff iff it has decidable equality.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 3rd 2017

    I added to Hausdorff space a theorem characterizing some localically strongly Hausdorff spaces in terms of apartness relations, which is a sort of dual or converse to the theorem I recently added to apartness relation.

    • CommentRowNumber3.
    • CommentAuthorTim Campion
    • CommentTimeOct 1st 2018

    Clarified a confusing remark about separatedness in different categories. A separated scheme is certainly not the same thing as a scheme whose underlying Zariski locale is Hausdorff. I doubt even that a separated scheme is the same thing as a scheme whose underlying Zariski locale is separated over the classifying topos for local rings.

    diff, v45, current

    • CommentRowNumber4.
    • CommentAuthortphyahoo
    • CommentTimeMay 4th 2020
    • (edited May 4th 2020)
    Some questions on "6. Beyond topological spaces Hausdorff locales"

    first sentence: "The most obvious definition for a locale X to be Hausdorff is that its diagonal X→X×X is a closed (and hence proper) inclusion."

    -- Is "inclusion" same as "embedding of topological spaces" nlab page? If so I would link explicitly.

    Is this definition incorrect because of the edge case discussed subsequently? If so I would say it is incorrect (or imprecisve) straight away.

    At https://ncatlab.org/nlab/show/closed+subspace#constructive_mathematics there is "This constructive variety of notions of closed subspace gives rise to a corresponding variety of notions of Hausdorff space when applied to the diagonal subspace." I understand this definition is classical, but I wonder if that link has anything relevant to the current topic.

    second sentence: "However, if X is a sober space regarded as a locale, this might not coincide with the condition for X to be Hausdorff as a space, since the Cartesian product X×X in the category Loc of locales might not coincide with the product in the category Top of tpological spaces (the Tychonoff product)."

    Can this be rephrased as "However, if LX is the locale of opens of a sober space X, closed diagonal of LX might not correspond with Hausdorff X, since the Cartesian product in the category Loc of locales might not coincide with the product in the category Top of topological spaces (the Tychonoff product)"

    -- Is "cartesian product XxX in the category Loc" the same as "product in the category Loc" ?

    A concrete example where the two products are not the same, would be helpful here. https://ncatlab.org/nlab/show/Hausdorff+implies+sober#strictness_of_implication there would be my best guess as a starting point, but it's a just a guess. Is there an example here, or elsewhere, where the two notions of product are not the same?
    • CommentRowNumber5.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 4th 2020

    Re #4: This notion of “inclusion” is discussed at sublocale.

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)