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 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 nforum 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 sheaves 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.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 15th 2012
    • (edited Oct 15th 2012)

    (Edited.) An anonymous poster has created a page with Vesselin’s comments on MO simply copied and pasted. I don’t know what others think of this, but whether this is an appropriate use of the nLab seems open to debate. What do others think?

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 15th 2012

    At the moment it looks a bit wild. But if further developed, that could be good.

    I am all in favor of taking insights thrown around on MO and turning them into coherent accounts on the nnLab. If this is the beginning of an attempt to do so, I’d welcome it.

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 15th 2012

    It’s wild all right. I would like to ascertain how serious it is.

    • CommentRowNumber4.
    • CommentAuthorAndrew Stacey
    • CommentTimeOct 15th 2012

    At the very least, we should bring it to Vesselin’s attention. Is this the right person: http://users.math.yale.edu/public_html/People/vad9.html?

    (I was going to leave a comment on the MO answer, but decided it would be better to email directly.)

    • CommentRowNumber5.
    • CommentAuthorAndrew Stacey
    • CommentTimeOct 15th 2012
    • (edited Oct 16th 2012)

    Incidentally, I would guess that the poster is the same as the person who “announced” the posting on meta.MO (http://meta.mathoverflow.net/account/820/).

    • CommentRowNumber6.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 15th 2012

    Undoubtedly that’s the right Vesselin Dimitrov (and thanks). And I’m sure you’re right about the anonymous poster.

    • CommentRowNumber7.
    • CommentAuthorAndrew Stacey
    • CommentTimeOct 15th 2012

    I’ve sent an email, also linking to this discussion.

    • CommentRowNumber8.
    • CommentAuthorcpypst
    • CommentTimeOct 15th 2012
    I copy pasted this.

    I am taken aback that you think this is a joke. It was certainly not intended that way.

    I apologise if this is inappropriate use of nLab.

    Yes I also announced this on MO.

    In my defence, let me explain my thinking:

    1) Writings on MO are published under a creative commons licence, so therefore I included a statement of attribution to Vesselin Dimitrov at the top of the nLab page with a link to the original writing.

    2) There were earlier discussions on meta.MO that indicated that nLab may be a more appropriate place for evaluation of papers than MO. If I interpreted that discussion incorrectly I apologize.

    3) The nForum does have a discussion of the abc conjecture in which it is discussed that Mochizuki's work does involve good topos theory/category theory and therefore fits in with the nPOV of the nLab.

    Again I apologize for any inappropriateness. This was not I joke. I honestly thought nLab might be a good place for discussion of Mochizuki's work and that copy/pasting a creative/commons writing would be ok.
    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeOct 15th 2012

    Hi cpypst,

    I think it is good to try to archive results of MO discussions in stable and coherent form on the nnLab. I keep thinking that this way the information accumulated at MO can be given a much more useful recording.

    The only thing is that, hence, this needs a tad more editing than just a copy and paste. There needs to be a bit of context the leads into the discussion etc.

    Think of how youd’d prepare, say, a pdf file as handout for a seminar talk on the given topic. You wouldn’t hand out in a seminar a verbatim copy of an MO comment but would first edit it a little for context, readability and organization.

    Same here. If you go and edit the nnLab entry a bit more for readability and coherence, I think it can be quite worthwhile.

    • CommentRowNumber10.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 16th 2012

    cpypst, I have redacted my original comment (and I apologize in turn). I reacted a little too snappily, I fear.

    And the entry might be an appropriate use of the nLab. Can I ask you what your plans are with this? Is this something that you’re actively working on, or do you plan to keep updating it as information comes in? Do you plan on linking this to other activity within the nLab?

    If serious people plan on using the nLab to have a serious discussion of abc and Mochizuki’s work, then that could be really great and exciting.

    • CommentRowNumber11.
    • CommentAuthorAndrew Stacey
    • CommentTimeOct 16th 2012

    I’ve tidied it up a little bit. The main thing is that itex doesn’t allow < or > (since these can be confused with XML tags, and it is possible to put raw MathML inside the mathematics with itex). I also changed := to \coloneqq, made the referenced equations properly labelled, and changed square brackets which were used as parentheses into parentheses (again, [...] is a special Markdown syntax, or looks like one, so is best to avoid).

    For me, I’d say the negative reaction you got (and are getting, if meta.MO is anything to go by) would be mitigated if you were not so obviously anonymous.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeOct 16th 2012
    • (edited Oct 16th 2012)

    I have added at the beginning a paragraph trying to explain what the whole entry is about in the first place.

    I would also eventually like to change the title and replace “abc” by “abc conjecture”. If something goes from a communication between a handful of people to a potentially larger audience as that of this Wiki, we need a minimum of self-containedness. But before I do further edits I wait if anyone takes up the task of working that copy-and-paste result into something that reads more like a standard math text.

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeOct 16th 2012
    • (edited Oct 16th 2012)

    If some long discussion or personal commentary is in the MathOverflow, it is senseless to copy it verbatim to nnLab. A link only is better to have. Especially when the subject is far from the focus of nnLab. The nnLab is to provide structured information, hence a digest of various material, including from MathOverflow, with view toward rigour is appropriate. In such a way, materials from MathOverflow are good source, when used as raw material and properly referenced. Of course, if someone used MathOverflow just to remind herself about a standard definition, it is not necessary to cite in this case; the canonical comprehensive references with proof and peer review may sometimes be more authoritative.

    If this page tends to stay a long verbatim discussion from MO, I strongly vote to erase it.

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 16th 2012

    Before seeing Zoran’s #13, I had written a comment over at meta.MO, which gives my own reaction to its presence here. Now that there is public awareness of this nLab entry, which might well be tainted by association with the negative reactions at meta.MO to the actions undertaken by cpypst, we might consider doing Zoran suggests: get rid of it, leaving behind just a link to the original MO comment.

    Or not. But looking at the entry, I for one do not feel equipped to handle the task of integrating this entry into the nLab in any sort of smooth way. If cpypst has a vested interest in this topic and wants to try making a home for it in the nLab, I hope he or she will let us know.

    • CommentRowNumber15.
    • CommentAuthorAndrew Stacey
    • CommentTimeOct 16th 2012

    One thing to remember is that we can take a little time before deciding (another advantage of this place over MO!). The notice on the page that Todd put ensures (I think) that it’s clear what the status of the page is. So we can wait to hear from cpypst what he/she intends, and to hear what Dimitrov thinks of it.

    I’m also of the opinion that in it’s current form I’d be inclined to simply leave the link to MO. But if any of the interested parties does take it up then that would be great. So let’s give it time to see what’ll happen and then clean it up if it becomes clear that nothing will happen.

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeOct 16th 2012

    Without knowing anything about the situation, it seems in general better not to try to archive the results of a discussion until the discussion is concluded.