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 complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 topological 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).
  1. I was just made aware of writing in the nLab by Todd Trimble on the category theory Zulip. I think this article should be updated to the current state of the nLab in 2025 (e.g. remark 1.1 should be removed because it isn’t true anymore). It should also be linked from the first section of the HomePage so that users have an idea what to do and what not to do on the nLab. I believe if it was accessible from the HomePage all these years, then we wouldn’t have had so many anonymous editors posting their original research on the nLab in the past few years.

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 4th 2025

    Some small things will need updating, specifically the way that edits should be mentioned at the nForum, since the way the software works now is different. People should be encouraged to give a short and meaningful summary of their edits in the changes box.

  2. Also the string theory stuff - who decided that physics articles on the nLab should be told from a “string theory point of view”?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 4th 2025
    • (edited Jun 4th 2025)

    I have no memory of this page.

    But the page history shows that the mentioning of string theory was added by “Anonymous” in revision 10 in 2022. I have now reverted that edit.

    diff, v12, current

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 4th 2025

    FWIW, the page was started when we had a very busy editor who eventually got on our nerves (you’ll remember him, Urs: he went around injecting all sorts of footnotes and other marginalia, and also made a number of unsuccessful attempts to write about graph theory in the nLab), and I felt an urge to explain to him and others how things generally had successfully worked at the nLab.

    I think it might be good to keep the page around, in case of others who stir up trouble (whether intentionally or not).

  3. That page would have had been very useful a few months ago when we had an editor posting his original research on the nLab about type theory related stuff:

    We could have simply pointed that editor at writing in the nLab instead of what we eventually did (added a rule requiring citations for additions to the nLab), which eventually showed itself to be too restrictive when it comes to category theory folklore.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJun 4th 2025

    Sure, that I remember.

    Our latest episode with a rogue editor (“Anonymous/Anonymouse”) showed that after a couple of unsuccessful measures, what finally worked wonders was (much as I regret that this is the way it works): Group pressure. The moment several other contributors raised their voice, and then jointly so, he finally gave in (for the time being, at least).

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 4th 2025

    Well, I don’t say that this page would, all by itself, be the prophylactic. But it’s something to point attention to, for people acting in good faith.

  4. removed now false remark:

    There is a uniform Joker name applied to those who don’t perform an edit under their own names: “Anonymous”. (This was originally “Anonymous Coward”, a joke.) An edit attributed to “Anonymous” could be a case of someone who didn’t submit under their real name because they forgot, or it could be someone who has good reason not to submit under their real name – whatever. It’s none of our business. We appreciate all the good edits made by the “Anonymous Cowards” out there just as we do those made by everyone else. However, we do encourage everyone to use their own name, or at least a consistent alias, if possible.

    Tom Buchanan

    diff, v13, current

  5. Removed a clause mentioning string theory from the article, and removed the following sentence stating that people sometimes do original research on the nLab.

    Tom Buchanan

    diff, v13, current

  6. The FAQ has been merged into HowTo.

    Tom Buchanan

    diff, v13, current

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 12th 2025

    I think I must have missed a discussion somewhere. There’s a disagreement that people sometimes do original research on the nLab?

  7. I thought there was a discussion on the nForum a few weeks ago where people decided to ban original research on the nLab because there was an editor named “Anonymouse” who was spam posting their original research.

    Tom Buchanan

    diff, v13, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJun 12th 2025

    It was in the wake of the notorious Anonymouse flooding the nLab with definitions that turned out to be pulled out of thin air, that users here emphasized the need for contributions to be justified. Some people asked for everything to be referenced to the literature, which is however not what we want. The way I ended up phrasing it at HomePage (in one of the latest edits, you can check the threads and page histories if you missed all that):

    follow common academic practice of substantiating your edit: Either justify it by citing relevant literature or else provide relevant proof (for claims) or other sanity checks (e.g. when introducing new definitions or terminology).

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJun 12th 2025
    • (edited Jun 12th 2025)

    To be clear: We certainly don’t want to ban original research. But since the pool of contributors is growing, it needs to be said that original material needs to be substantiated according to common academic standards (by a proof, a plausibility check, etc.).

    (In the old days this went without saying, but it’s good to say it.)

    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 12th 2025
    • (edited Jun 12th 2025)

    Right, problems with certain individuals do crop up now and them. I’ll see whether I can find that discussion, but since I’m here now, I don’t think a blanket ban on all original research in the nLab (meaning, for me, writing up material that might not otherwise appear in publication) is necessarily a wise idea.

    Originally, it was held to be one of the things that distinguished the nLab from Wikipedia.

    Edit: written before I saw Urs’s last comment.

  8. Okay, I was not aware of the newer change to the HomePage; last time I saw, it still had a note saying that citations were required.

    Added back in the comment about original research, along with another comment about how the original research needs some justification / sanity check:

    We also may conduct some original research, quite unlike Wikipedia. Said original research follows common academic practice of substantiation, either by justifying the original research by citing relevant literature or else by providing relevant proofs (for claims) or other sanity checks (e.g. when introducing new definitions or terminology).

    Tom Buchanan

    diff, v13, current

    • CommentRowNumber18.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 12th 2025

    Thanks, Tom!

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJun 12th 2025

    In the thread “HomePage” the relevant discussion starts at #105 then see #108 and finally #115.

  9. The contents of How to get started has been deleted and replaced with a link to HowTo in 2022 by Urs Schreiber, see

    https://nforum.ncatlab.org/discussion/14829/how-to-get-started/?Focus=101328#Comment_101328

    Tom Buchanan

    diff, v14, current