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 bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics 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 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 homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory kan 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 natural nforum nlab nonassociative 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 string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory 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.
    • CommentAuthorarsmath
    • CommentTimeMay 11th 2020

    Mention connection with normal covers.

    diff, v10, current

    • CommentRowNumber2.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 11th 2020
    • (edited May 11th 2020)
    Normal covers coincide with numerable covers.

    This is a theorem (proved in stages) due to Ernest Michael, Kiiti Morita, and Arthur H. Stone, see Morita [1, Theorem 1.2]

    [1]: Kiiti Morita.
    Paracompactness and product spaces.
    Fundamenta Mathematicae 50:3 (1962), 223–236.
    doi:10.4064/fm-50-3-223-236.
    • CommentRowNumber3.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 11th 2020
    • (edited May 11th 2020)
    An aside: this is the first new query box I have seen in years.

    Aren't these supposed to be posted directly to the nForum now?

    Perhaps there is a leftover instruction to post query boxes somewhere on the nLab?
    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2020

    Yes, best not to use query boxes, as they will more likely be ignored and, if not, there is no good way to discuss what to do in reaction.

    The HowTo still announces query boxes here, only to say as an afterthought that they shouldn’t be used. It does so by claiming that

    the wiki software does contain a mechanism for putting questions and comments on a wiki page itself:

    which is very generous towards “the wiki software”.

    I suggest to clear the entire section HowTo – Make comments and ask questions and replace it by a pointer to the nForum.

    • CommentRowNumber5.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 11th 2020
    I am not sure about clearing the entire section, but the paragraph about query boxes should definitely be deleted.
    • CommentRowNumber6.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 11th 2020

    Added alternative characterizations.

    diff, v11, current

    • CommentRowNumber7.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 11th 2020
    This comment is invalid XML; displaying source. <p>Unable to make the list format properly. Giving up.</p> <p>XML Parsing Error: mismatched tag. Expected: </li>. Location: https://ncatlab.org/nlab/show/numerable+open+cover Line Number 1173, Column 403:</p> <p><a href="https://ncatlab.org/nlab/revision/diff/numerable+open+cover/11">diff</a>, <a href="https://ncatlab.org/nlab/revision/numerable+open+cover/11">v11</a>, <a href="https://ncatlab.org/nlab/show/numerable+open+cover">current</a></p>
    • CommentRowNumber8.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 11th 2020
    • (edited May 11th 2020)

    This is bizarre.

    Revision 11 formats correctly: https://ncatlab.org/nlab/revision/numerable+open+cover/11

    The current revision is identical to Revision 11, but does not format correctly: https://ncatlab.org/nlab/show/numerable+open+cover

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 11th 2020

    Typo, and trying a minor edit to the list to see if that fixes things.

    diff, v12, current

    • CommentRowNumber10.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 11th 2020

    This is definitely a bug in the parser, since the interface should not even allow saving pages when XML errors are present.

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 11th 2020

    OK, I fixed it by making sure the \end{proposition} was in a new paragraph. But for me, at least, none of the TeX-like syntax is rendering.

    • CommentRowNumber12.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 11th 2020

    \cite was supposed to be working, I have definitely seen it to produce something other than the TeX code.

    • CommentRowNumber13.
    • CommentAuthorarsmath
    • CommentTimeMay 12th 2020

    Found citation.

    diff, v14, current

    • CommentRowNumber14.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 12th 2020

    Added a bunch of references.

    diff, v15, current

    • CommentRowNumber15.
    • CommentAuthorarsmath
    • CommentTimeMay 14th 2020

    Query now answered, so I’m removing the query box.

    diff, v16, current

    • CommentRowNumber16.
    • CommentAuthorGuest
    • CommentTimeMay 14th 2020
    Sorry, I haven't edited nLab since the heyday of query boxes, so I wasn't aware they were deprecated.

    Thanks for the update to the article. I was confused on whether normal and numerable were the same, since one literature uses one term, and one literature uses the other. FWIW the Hoshina article has most of the details, other than the shape theory result.

    arsmath
    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeMar 22nd 2021
    • (edited Mar 22nd 2021)

    Touched the wording:

    • function \mapsto continuous function;

    • support is already defined to be the closure;

    • made the forall quantifier render more intelligibly

    fixed code for a bunch of references

    diff, v17, current

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)