categories - Category Theory list
 help / color / mirror / Atom feed
From: Zinovy Diskin <zdiskin@gmail.com>
To: "Joyal, André" <joyal.andre@uqam.ca>, categories@mta.ca
Subject: Re: A well kept secret
Date: Sat, 12 Dec 2009 22:30:57 -0500	[thread overview]
Message-ID: <E1NJxFE-0004Zb-C2@mailserv.mta.ca> (raw)
In-Reply-To: <E1NHofN-0001v4-Ln@mailserv.mta.ca>

On Mon, Dec 7, 2009 at 9:13 AM, Joyal, André <joyal.andre@uqam.ca> wrote:
> Category theory is a powerful mathematical language.
> It is extremely good for organising, unifying and suggesting new directions of research.

one important point is missing: design and design patterns. Design
from scratch is for geniuses while ordinary people design by adapting
and developing preexisting patterns. Category theory created a
powerful system of design patterns for math and beyond (computer
science, physics, engineering). It seems it changed the very
nature of mathematical design.

Z.


> It is probably the most important mathematical developpement of the 20th century.
>
> But we cant say that publically.
>
> André Joyal
>


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


  parent reply	other threads:[~2009-12-13  3:30 UTC|newest]

Thread overview: 46+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-11-29 23:31 Dangerous knowledge Joyal, André
2009-11-30 16:51 ` Mike Stay
2009-11-30 23:37   ` Dana Scott
     [not found]     ` <B3C24EA955FF0C4EA14658997CD3E25E2159B5F8@CAHIER.gst.uqam.ca>
2009-12-02  4:03       ` Dangerous times Joyal, André
2009-12-01  1:40   ` Dangerous knowledge Alex Hoffnung
2009-12-01 14:26     ` jim stasheff
2009-12-01 14:30     ` Ronnie Brown
2009-12-01  2:32   ` jim stasheff
2009-12-01 15:13   ` Alex Hoffnung
2009-12-01 16:43   ` Robert Seely
2009-12-02  2:25     ` RE : categories: " Joyal, André
2009-12-02 17:27     ` Ronnie Brown
2009-12-01  3:59 ` Dangerous ignorance Joyal, André
2009-12-01 13:56 ` Dangerous knowledge Charles Wells
2009-12-02  2:16 ` John Baez
2009-12-06 18:46   ` Vaughan Pratt
2009-12-07  2:46     ` Joyal, André
2009-12-07 13:46     ` jim stasheff
2009-12-08 19:15       ` Vaughan Pratt
2009-12-07 14:13     ` A well kept secret Joyal, André
2009-12-08 17:31       ` Steve Vickers
2009-12-09 14:18         ` Charles Wells
2009-12-10 14:49       ` Paul Taylor
2009-12-11  1:44         ` Michael Barr
2009-12-12  0:13           ` jim stasheff
2009-12-13  3:17             ` Wojtowicz, Ralph
2009-12-13  7:01           ` Vaughan Pratt
2009-12-11  1:46         ` Tom Leinster
2009-12-11  6:51         ` Michael Fourman
2009-12-11  8:36         ` Greg Meredith
2009-12-12 19:00         ` Zinovy Diskin
     [not found]       ` <e3ef1bd7ee7e9e1e1ecdb201955e18f6@PaulTaylor.EU>
2009-12-10 15:51         ` RE : " Joyal, André
2009-12-13  3:30       ` Zinovy Diskin [this message]
2009-12-07 17:18     ` Dangerous knowledge Steve Vickers
2009-12-08  4:09   ` A well kept secret David Spivak
2009-12-12 15:57     ` jim stasheff
2009-12-08  5:23   ` Robert Seely
2009-12-09 16:12     ` Mehrnoosh Sadrzadeh
     [not found]   ` <7b998a320912090812x60551840r641fe9feb75efaee@mail.gmail.com>
2009-12-09 17:02     ` Robert Seely
2009-12-10 18:03   ` Dangerous_knowledge Joyal, André
2009-12-09  7:40 A well kept secret? Ronnie Brown
2009-12-14 18:41 ` Andrew Stacey
2009-12-15 20:14   ` A well kept secret Joyal, André
2009-12-13 21:46 categorical "varieties of algebras" (fwd) Michael Barr
2009-12-14 19:52 ` A well kept secret Dusko Pavlovic
2009-12-16 17:17 F William Lawvere
2009-12-22 16:39 Andree Ehresmann
2009-12-23 15:30 ` Andrew Stacey
2009-12-28 10:07   ` Reinhard Boerger

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1NJxFE-0004Zb-C2@mailserv.mta.ca \
    --to=zdiskin@gmail.com \
    --cc=categories@mta.ca \
    --cc=joyal.andre@uqam.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).