From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6917 Path: news.gmane.org!not-for-mail From: "Fred E.J. Linton" Newsgroups: gmane.science.mathematics.categories Subject: Re: Natural Functorial Categorical Intuition Date: Tue, 27 Sep 2011 23:03:20 -0400 Message-ID: Reply-To: "Fred E.J. Linton" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1317249457 9387 80.91.229.12 (28 Sep 2011 22:37:37 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 28 Sep 2011 22:37:37 +0000 (UTC) Cc: To: "Ellis D. Cooper" Original-X-From: majordomo@mlist.mta.ca Thu Sep 29 00:37:32 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.30]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1R92ks-0008Pd-Pa for gsmc-categories@m.gmane.org; Thu, 29 Sep 2011 00:37:31 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:40351) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1R92j7-00042q-0n; Wed, 28 Sep 2011 19:35:41 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1R92j5-0001VA-Hf for categories-list@mlist.mta.ca; Wed, 28 Sep 2011 19:35:39 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6917 Archived-At: Hi, Ellis, Very ambitious questions you're asking here. I'm not sure there's much in the way of clear-cut answers, though. To begin with, I'm not nearly as sure as you are that > a great deal more is known about mathematical rigor than about > mathematical intuition. Or perhaps there is -- what particularly did you have in mind that = "is known about mathematical rigor"? = > My overall question is whether there really are different kinds of > intuition depending on the research discipline. = Well, "depending on the research discipline"? Who can tell? But "whether there really are different kinds of intuition"? Almost surely yes. Both within and across disciplines. Just as people have different complexions, they'll have "different kinds of intuition". > ... In particular, is there some kind of kinetic intuition > specific to category theory that crucially > involves visualization of time-varying diagrams? Do conjectured > adjoint functors arise from distinct algebraic, or > geometric, or logical intuitions? Do categorists deploy special > methods to access their intuition, or > do intuitions just happen to those with a knack for category theory? Intuitions, I'd say, "just happen to those with a knack for" intuitions. And no, I'm not just being difficult. I believe you're suffering from a sort of Aristotelian disease, common to many even two millenia after Aristotle, that believes any sufficiently well-formed and narrowly = specific question must have a clear yes-no, or "this-or-that", answer. How can someone like you, who's really smart enough not to fall for that,= not be smart enough not to fall for that? -- because Aristotelean "yes/no= " black-or-white logic doesn't generally apply to the real world, with all = its gradations and shades of gray :-) . > Does categorical intuition just > develop with experience, or is there a specialized training to > enhance it? = Why not both? or neither? or other? > ... Is categorical intuition > any different from mathematical intuition in general? = At the risk of sounding more Zen than I intend, I'd answer "Of course it's different. And yet it's not different. = In fact it's both different and not different. As well, it's neither different, nor not different." "Do I contradict myself? Very well, then, I contradict myself." :-) . > Ellis D. Cooper = Cheers, -- Fred = (with a tip o' the ol' hat to Carl Sandburg) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]