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 comma 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 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 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
    • CommentTimeJun 16th 2010
    • (edited Jun 16th 2010)

    I am looking forward to saying less trivial things here, when I can carve out some more time, but anyway…

    I don’t think “**-autonomous” is a good example of the red herring principle, because I’m pretty sure Michael Barr didn’t mean “autonomous” in the compact closed sense. It may not be well known, but “autonomous” is also an old term for “(symmetric monoidal) closed” which never quite caught on, and I think at the time of writing his monograph **-Autonomous Categories, Barr was sort of hoping to resurrect that usage. A **-autonomous category is an autonomous category in that sense, one which is equipped with a **-operator A *=D AA^* = D^A for some specified object DD, such that the unit AA **A \to A^{* *} is a natural isomorphism.

    Note: this “complaint” is in lieu of a query box. :-)

    • CommentRowNumber2.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 16th 2010
    • (edited Jun 16th 2010)

    The statement about noncommutative rings is actually just incorrect. Every book in algebraic geometry says at the very beginning, “We take as a convention for the rest of the book that all of our rings will be commutative and unital, with all modules unital as well” à la Bourbaki. When one speaks of “noncommutative rings”, this is simply because many books on ring theory stress the commutative aspects of ring theory. If one is among algebraic geometers, they may take “ring” to mean “commutative ring”, because these are the most important rings to them, but it is, as I said, a convention and not a definition.

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 16th 2010

    Every book in algebraic geometry says at the very beginning, “We take as a convention for the rest of the book that all of our rings will be associative and unital”

    (You probably meant to write “commutative” instead of “associative”, since everyone assumes multiplicative associativity when speaking of a ring.)

    • CommentRowNumber4.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 16th 2010

    Yes yes, my mistake.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeJun 16th 2010

    @Harry, what’s the difference between a definition and a universally adhered to convention? (-:

    @Todd, I don’t see why Barr’s original intent matters, if nowadays “autonomous” always refers to having duals.

    • CommentRowNumber6.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 16th 2010
    • (edited Jun 16th 2010)

    @Mike: Because if you were to get into an argument about the definition of a ring, even the most dyed in the wool commutative algebraist would take your side that rings aren’t commutative unless we said so in advance.

    The real example of the red-herring principle is of course the inclusion of associativity in algebra.

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 16th 2010

    @Mike #5: For the reason I just said: **-autonomous categories are autonomous (in the old-fashioned sense), hence doesn’t quite fit the definition given on the page.

    I think what this means is that more amplification might be a good idea at red herring principle, all the more because “red herring” in the usual sense is largely about intent: usually it means something intended to divert, to throw one off track or off the spoor (there’s a folk etymology here), as for example a rhetorical tactic for this purpose, or a novelistic device. I periodically have to return to that page to remind myself what is actually meant, since it’s not my usual association, and I’m sure I’m not alone in that.

    So my usual association would be (ironically!) off here, but “red herring” as described on that page still gives a whiff of being the result of ineptitude or poor choice of naming. The specific amplification I have in mind here is that a “red herring” might be the outcome of older meanings being lost and forgotten due to changing fashions, so that they merely appear inept or inappropriate now.

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 16th 2010

    I added a few notes to red herring principle, recapitulating what I said in #7. Please feel free to comment (or tweak, if need be).

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeJun 19th 2010
    • (edited Jun 19th 2010)

    That’s funny; up until now my understanding of the idiom didn’t require that it be a deliberate attempt to divert attention, but only something to which attention might be mistakenly diverted for whatever reason. But apparently that’s wrong, or at least less standard. Thanks.

    My vision of what the “red herring principle” refers to is anything that might confuse the reader, regardless of the definition that the author has in mind. So even if the author thinks that “ring” doesn’t imply commutativity by definition, if s/he always uses “ring” to mean “commutative ring,” then a careless reader may easily come to think that “ring” is defined to mean “commutative ring.”

    • CommentRowNumber10.
    • CommentAuthorTobyBartels
    • CommentTimeJun 19th 2010

    Who came up with ‘red herring principle’ in this context?

    FWIW, my understanding of ‘red herring’ is that it’s supposed to be a deliberate distraction. However, in the context of mystery novels (where it most often appears IME), this gets watered down a bit. A red herring is deliberate on the part of the author, but it may or may not be deliberate on the part of a character in the story. So it can be a red herring externally without being a red herring internally, even if it does divert attention internally. So then it’s easy to call anything that diverts attention a ‘red herring’.

    • CommentRowNumber11.
    • CommentAuthorMike Shulman
    • CommentTimeJun 19th 2010

    I don’t know who originated it, and I don’t even remember where I first heard it. Anyone willing to take the credit/blame?

    • CommentRowNumber12.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 19th 2010

    My vision of what the “red herring principle” refers to is anything that might confuse the reader, regardless of the definition that the author has in mind. So even if the author thinks that “ring” doesn’t imply commutativity by definition, if s/he always uses “ring” to mean “commutative ring,” then a careless reader may easily come to think that “ring” is defined to mean “commutative ring.”

    I disagree that the situation is like that at all. Would you say that the notion of a compactly generated weakly hausdorff space is a red herring because people sometimes just call them spaces (or call the category of them Top)? The case with commutative rings is rather simpler.

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 19th 2010

    The first meaning of “red herring” that comes to my mind is as a rhetorical or debating tactic. It is a considered a general and particularly common form of “fallacy of irrelevance” (see for instance here).

    I don’t know who coined “red herring principle” (maybe John knows), but I don’t mind its use so long as the use is clarified.

    • CommentRowNumber14.
    • CommentAuthorAndrew Stacey
    • CommentTimeJun 19th 2010

    My understanding of the origins of the phrase is that it is very definitely deliberate: it was a false trail laid to put the hunt off the scent. Whether or not that’s an urban legend, I have no idea!

    • CommentRowNumber15.
    • CommentAuthorIan_Durham
    • CommentTimeJun 19th 2010

    Whether or not that’s an urban legend, I have no idea!

    Or, maybe it’s a red herring… (Sorry, couldn’t resist.)

    Seriously, here is an excellent discussion of the origin of the term, at least in the figurative sense.

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeJun 19th 2010

    I don’t need any more convincing that “red herring” usually refers to something deliberate; as soon as Todd mentioned it, I went and looked it up and discovered that my previous understanding was wrong.

    I feel differently about “space” than about “ring.” Restricting to compactly generated spaces is a “niceness” assumption; we don’t really change what we’re studying noticeably, but we just get a somewhat nicer category to work in. By contrast, the theories of commutative rings and of noncommutative rings are radically different, and there is a huge literature on noncommutative rings as well as on commutative ones.

    • CommentRowNumber17.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 19th 2010

    However, when you say you study “ring theory”, it means that you generally study noncommutative rings, while if you say that you study “commutative algebra”, you study commutative rings.

    • CommentRowNumber18.
    • CommentAuthorMike Shulman
    • CommentTimeJun 20th 2010

    Okay, I concede; I created a new “non-examples” section at red herring principle to discuss this question. Feel free to modify.

    • CommentRowNumber19.
    • CommentAuthorTobyBartels
    • CommentTimeJun 21st 2010
    • (edited Aug 10th 2010)

    My understanding of the origins of the phrase is that it is very definitely deliberate: it was a false trail laid to put the hunt off the scent. Whether or not that’s an urban legend, I have no idea!

    It is probably true that this is the origin of the phrase; certainly this is how the metaphorical meaning first appeared in print.

    But there is no evidence that this was ever actually done, with a real kipper and real hounds. It was always just a metaphor.

    Edit: As Ian’s link says. But my version is shorter. (^_^)

    • CommentRowNumber20.
    • CommentAuthorJohn Baez
    • CommentTimeAug 10th 2010
    • (edited Aug 10th 2010)

    Todd wrote:

    I don’t know who coined “red herring principle” (maybe John knows)…

    I don’t know, but Todd’s right that I’m the kind of guy who likes wasting time on such questions…

    From Wikipedia:

    In a literal sense, there is no such fish species as a “red herring”; rather it refers to a particularly strong kipper, meaning a fish—typically a herring but not always—that has been strongly cured in brine and/or heavily smoked. This process makes the fish particularly pungent smelling and turns its flesh red (and makes it very noticeable, notably for the idiom).[2] This term, in its literal sense as a type of kipper, can be dated to the late Middle Ages, as quoted here c1400 Femina (Trin-C B.14.40) 27: “He eteþ no ffyssh But heryng red.” Samuel Pepys used it in his diary entry of 28 February 1660 “Up in the morning, and had some red herrings to our breakfast, while my boot-heel was a-mending, by the same token the boy left the hole as big as it was before.”[3]

    The idiomatic sense of “red herring” has, until very recently, been thought to originate from a supposed technique of training young scent hounds.[2] There are variations of the story, but according to one version, the pungent red herring would be dragged along a trail until a puppy learned to follow the scent[4]. Later, when the dog was being trained to follow the faint odour of a fox or a badger, the trainer would drag a red herring (whose strong scent confuses the animal) perpendicular to the animal’s trail to confuse the dog.[5] The dog would eventually learn to follow the original scent rather than the stronger scent. An alternate etymology points to escaping convicts who would use the pungent fish to throw off hounds in pursuit.[6]

    And then, after these exciting distractions, the article admits:

    In reality, the technique was probably never used to train hounds or help desperate criminals. The idiom probably originates from an article published 14 February 1807 by journalist William Cobbett in the polemical Weekly Political Register.[7] In a critique of the English press, which had mistakenly reported Napoleon’s defeat, Cobbett recounted that he had once used a red herring to deflect hounds in pursuit of a hare, adding “It was a mere transitory effect of the political red-herring; for, on the Saturday, the scent became as cold as a stone.”[7] As British etymologist Michael Quinion says, “This story, and [Cobbett’s] extended repetition of it in 1833, was enough to get the figurative sense of red herring into the minds of his readers, unfortunately also with the false idea that it came from some real practice of huntsmen.”[7]

    • CommentRowNumber21.
    • CommentAuthorTobyBartels
    • CommentTimeAug 10th 2010

    Yes, but what’s the origin of the term in our sense?

    • CommentRowNumber22.
    • CommentAuthorzskoda
    • CommentTimeAug 11th 2010
    • (edited Aug 11th 2010)

    Before I came to the lab I did not hear of white and red herring principle but of weak horse versus just a horse. Weak horse in mathematics is neither horse nor weak as some old reference explained to me... :) Now when I know the discussion about white and red, I can not remember which one was white and which one was red.

    • CommentRowNumber23.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 12th 2010

    I’ve not heard of a white herring before (at least, not in the context of red herrings!). I think the general rule is that given a red foo, sometimes it is not a foo (e.g. infinitary Lawvere theory - which isn’t a Lawvere theory). Then we have to talk about white foos as distinct from red ones (but actually as defined all foos are white, so the adjective is redundant).

    Maybe we can put the horse vs weak horse version on red herring principle…an interesting non-anglophone perspective I think.

    • CommentRowNumber24.
    • CommentAuthorTobyBartels
    • CommentTimeJul 2nd 2014

    I added a new kind of example: not ‘homogeneous polynomial’ (which is not a red herring) but ‘homogeneous polynomial of degree nn’ (which is a red herring in precisely one degenerate case).

    • CommentRowNumber25.
    • CommentAuthorMike Shulman
    • CommentTimeMay 17th 2015

    I added “multivalued function” and “planar ternary ring” (page not written yet) as examples.

    • CommentRowNumber26.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 18th 2015

    @Mike - I’m curious about your sudden interest in planar ternary rings. Something you’re formalising? I has a small wonder about the internalisation/constructivisation of the definition, and it seems like similar issues that hold for fields hold here.

    • CommentRowNumber27.
    • CommentAuthorMike Shulman
    • CommentTimeMay 18th 2015

    No, actually just that I’m teaching projective geometry next semester. (-: I’ll probably actually stop at division rings rather than getting to the planar ternary ones, but I like to get deeper into a subject myself than what I’m going to tell my students, so that I have some … er … perspective.

    • CommentRowNumber28.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 18th 2015
    • (edited May 18th 2015)

    [rimshot]

    • CommentRowNumber29.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 18th 2015

    I’m teaching projective geometry next semester

    How about a subproject of presenting it in HoTT? I was thinking the other day about ’the’ in the context of Euclidean geometry, and whether things are helped by typing. There’s a conversation in Lewis Carroll’s ’Euclid and his modern rivals’

    § 6. The Principle of Superposition.

    Min. The next subject is the principle of ’superposition’. You use it twice only (in Props. 4 and 8) in the First Book: but the modern fancy is to use it on all possible occasions. The Syllabus indicates (to use the words of the Committee) ’the free use of this principle as desirable in many cases where Euclid’ prefers to keep it out of sight.’

    Euc. Give me an instance of this modern method.

    Min. It is proposed to prove I. 5 by taking up the isosceles triangle, turning it over, and then laying it down again upon itself.

    Euc. Surely that has too much of the Irish Bull about it, and reminds one a little too vividly of the man who walked down his own throat, to deserve a place in a strictly philosophical treatise?

    Min. I suppose its defenders would say that it is conceived to leave a trace of itself behind, and that the reversed triangle is laid down upon the trace so left.

    Euc. That is, in fact, the same thing as conceiving that there are two coincident triangles, and that one of them is taken up, turned over, and laid down upon the other. And what does their subsequent coincidence prove ? Merely this: that the right-hand angle of the first is equal to the left-hand angle of the second, and vice versa. To make the proof complete, it is necessary to point out that, owing to the original coincidence of the triangles, this same ’ left-hand angle of the second’ is also equal to the left-hand, angle of the first: and then, and not till then, we may conclude that the base-angles of the first triangle are equal. This is the full argument, strictly drawn out. The Modern books on Geometry often attain their much-vaunted brevity by the dangerous process of omitting links in the chain; and some of the new proofs, which at first sight seem to be shorter than mine, are really longer when fully stated. In this particular case I think you will allow that I had good reason for not adopting the method of superposition?

    Min. You had indeed.

    Euc. Mind, I do not object to that proof, if appended to mine as an alternative. It will do very well for more advanced students. But, for beginners, I think it much clearer to have two non-isosceles triangles to deal with.

    One issue seems to be about taking a triangle as both an ordered set of three line segments and as the 2-dimensional patch contained within such an ordered set. Different types.

    • CommentRowNumber30.
    • CommentAuthorMike Shulman
    • CommentTimeMay 18th 2015

    Of course, I always have HoTT in the back of my mind nowadays, but it doesn’t usually seem relevant, aside from the fact that “of course” all of mathematics is naturally typed.

    I think nowadays one generally regards superposition as not justified by Euclid’s axioms. I think Hilbert replaced it by taking SAS as an axiom, since making it precise requires some “higher-order” assumptions about what sorts of automorphisms exist (leading eventually, as you probably know, to an Erlangen sort of viewpoint).

    • CommentRowNumber31.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 18th 2015

    I see III.6 here. Hilbert sees triangles as ’broken lines’.

    What I’m after is a nice case from ordinary life where a type XX has some nontrivial isotopy, so that one shouldn’t really say ’The XX’ as it’s non-contractible.

    Anyway, this is worse than a red herring suitable for this thread, as it’s not even misleadingly about red herrings.

    • CommentRowNumber32.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 25th 2015

    Not sure you’re still interested, Mike, but apparently there is an equivalence of groupoids between that of planar ternary rings (PTRs) and projective planes with a chosen quadrangle. See this 15-year-old(!) website for a mention of full-faithfulness of the functor PTRProjPlanePTR\to ProjPlane, and the fact every projective plane gives rise to a PTR give essential surjectivity. Possibly this article could help address the case of the categories of such things.

    If I get time to sort things out, I may put it on the (yet nonexistent) page planar ternary ring.

    • CommentRowNumber33.
    • CommentAuthorMike Shulman
    • CommentTimeJun 25th 2015

    Interesting, thanks!

    • CommentRowNumber34.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 25th 2015

    David Roberts: vaguely related to this topic, I sent a private email to an address I have for you, but I’m not sure it’s an up-to-date address. Could you check when you have a moment?

    • CommentRowNumber35.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 25th 2015

    Got it, but I was asleep!

    • CommentRowNumber36.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 25th 2015

    And, continuing #32, it means that if the automorphism group of the plane acts transitively on the set of quadrangles, the PTR coordinatising it is unique.