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

Discussion Tag Cloud

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.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2012

    felt like archiving a quote by Paul Taylor somewhere, it is now at folklore.

    Besides being funny, it is actually a useful comment for the newbie, and so I linked to it from category theory.

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeOct 3rd 2012

    Thanks, and thanks to Paul as well.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2012
    • (edited Oct 3rd 2012)

    I have added a more general (and more boring) paragraph. But I really shouldn’t get further into that now…

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeOct 3rd 2012

    I notice that Paul says “… in category theory”. Does the rest of his quote actually apply to category theory any more than to any other branch of mathematics?

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2012
    • (edited Oct 3rd 2012)

    Probably in principle, but in detail I found his quote quite reminiscent of category theory. It raised vivid memories in me of long discussions on the category theory mailing list about who said the word “triple” first over which coffee break at which meeting in 196x.

    Other fields have other ways of stating their folklore theorems. In algeraic topology they will say instead “Hopkins knows it”, in string theory they say “the second superstring revolution has provided immense evidence that…”. ;-)

    • CommentRowNumber6.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 3rd 2012

    “they will get shot down in flames”

    I wonder how true that is. There is some McGill University thesis, Butler’s theorems, where a guy named Butler proved a whole bunch of folklore theorems. Or so that is my rough understanding; I also seem to remember hearing about it in somewhat laudatory terms.

    • CommentRowNumber7.
    • CommentAuthorRodMcGuire
    • CommentTimeOct 3rd 2012

    Something that often goes in hand with folklore theorems is when those things or even simple well known facts can only be found in exercises left to the reader to complete or even determine if true. Sure doing an exercise is a good way to learn material but if you really don’t want to fully understand some paper but just check some fact it can be frustrating.

    I recall that Tom references some exercises about codensity.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2012
    • (edited Oct 3rd 2012)

    If we list examples and anecdotes now:

    the last folk theorem that really struck me was the equivalence between dependent type theory and locally cartesian closed categories. When I sat down a few months back intended to look up the details and write them down on the nnLab, it eventually turned out that all the standard references were either incomplete (most of them) or flawed (some which tried to be complete) — and that state of affairs was only rectified last December! (Dec 2011, that is). (The details are in the comments here).

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2019
    • (edited May 18th 2019)

    added this example:


    For instance the cobordism hypothesis – which is an intuitively evident statement, whose formalization and proof, however, is notoriously subtle – is referred to as “folklore” in Stolz 14, p. vi

    diff, v5, current

    • CommentRowNumber10.
    • CommentAuthorAlexisHazell
    • CommentTime2 days ago

    I’d like to add a link somewhere to Clément Aubert’s “Categories for Me, and You?” (assuming it’s not already been added and I missed it). Would the ’folklore’ page be an appropriate place?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTime1 day ago

    Sure.

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)