categories - Category Theory list
 help / color / mirror / Atom feed
* IMPACT
@ 2011-07-19 18:04 Ellis D. Cooper
  0 siblings, 0 replies; 5+ messages in thread
From: Ellis D. Cooper @ 2011-07-19 18:04 UTC (permalink / raw)
  To: categories

Understanding and maybe even solving problems in energy conservation,
energy transduction and global warming depend in part on advances in
chemical thermodynamics. But chemical thermodynamics is an old and
difficult branch of mathematical science. My book on mathematical
mechanics tries to take baby steps towards a categorical chemical
thermodynamics.

For example, there exists a monoidal functor ("Hess's Law") which
assigns enthalpy of formation to mixtures and enthalpy of
transformation to reactions. One-, two-, or three-dimensional bodies
are connected by bodies that conduct certain substances, and which
may themselves be connected by bodies conducting other substances.
Substances include chemicals, charge, volume, momentum, and entropy,
and any flowing substance carries energy. The theory of substances is
an axiomatic theory including an Energy Axiom ("First Law of
Thermodynamics") and an Entropy Axiom ("Second Law of Thermodynamics").

In my dreams a grown up categorical chemical thermodynamics may
invoke higher-dimensional categories and other areas of current
seemingly abstract research.

Ellis D. Cooper



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


^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: IMPACT
  2011-07-18  6:51 ` IMPACT Timothy Porter
  2011-07-19  8:20   ` IMPACT JeanBenabou
       [not found]   ` <FC1B6A43-6276-4DE0-89D8-25C68CE2C7B6@wanadoo.fr>
@ 2011-07-19  9:24   ` Ronnie Brown
  2 siblings, 0 replies; 5+ messages in thread
From: Ronnie Brown @ 2011-07-19  9:24 UTC (permalink / raw)
  To: Timothy Porter; +Cc: André Joyal, categories

In this context, I would like to give a quotation from the the
Autobiography of Thomas Young (1773-1829), referred to in the book `The
last man who knew everything', Andrew Robinson, Pearson Education Inc,
2006, p.224.

"It is indeed so impossible to forsee the capabilities of improvement in
any science, that it is idle to form any general opinion of what would
be the comparative advantage of the employment of time in any one
investigation rather than another, for almost all the authors of
important discoveries and even of inventions, are led as much by
accident as by system to their success."

Thomas Young  was the person who developed the wave theory of light, and
many other things. See for example
http://en.wikipedia.org/wiki/Thomas_Young_%28scientist%29

However the Government has long enjoined its research assessment panels
to predict the future, without being completely clear on the methodology
for this.

All this does reinforce the good sense in trying to make clear the
(current!)  role of category  theory, and its wide ranging influence.

Ronnie Brown

On 18/07/2011 07:51, Timothy Porter wrote:
> On 17/07/2011 16:51, Andr=E9 Joyal wrote:
>> Dear All,
>>
>> An article on
>>
>> THE UNPLANNED IMPACTS OF MATHEMATICS
>>
>> was recently published in Nature:
>>
>> http://www.nature.com/nature/journal/v475/n7355/full/475166a.html
>>
>> andr=E9
>>

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


^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: IMPACT
       [not found]   ` <FC1B6A43-6276-4DE0-89D8-25C68CE2C7B6@wanadoo.fr>
@ 2011-07-19  9:00     ` Timothy Porter
  0 siblings, 0 replies; 5+ messages in thread
From: Timothy Porter @ 2011-07-19  9:00 UTC (permalink / raw)
  To: JeanBenabou; +Cc: Categories

Dear All,

The message  got extremely garbled by having some =20 added.  (I presume
these were translated from one text format to another and were end of
line symbols!)

The term REF is a research evaluation.  I quote from our HEFCE website.
(HEFCE= Higher education funding council for England. It also
coordinates these sorts of exercises for Wales, Scotland and Northern
Ireland.)

The Research Excellence Framework (REF) is the new system for assessing
the quality of research in UK higher education institutions.

I will try to send the message again, hoping that the =20s, which I will
delete, do not reappear!!!!!!

Tim

Thanks to Jean for pointing out the =20s!


Here is the original:

______________

Dear All,

Let me put this in a context for non-UK readers of this list.  Various
bodies in the UK are asking for `impact' as part of their assessment of
research.  This is in particular true of the REF exercise. (Perhaps
someone else can comment on this as well as I am `out of this', having
been a victim of a previous round of such `exercises'.) We all know that
mathematics is central to modern technological developments, but pure
mathematics finds itself in the position of having  little direct IMPACT
as measured in the way that the nebulous THEY (i.e. the bean counters)
have defined it. We thus have that a sociologist can say that their
research resulted in  (whatever), a physicist can point to a new
technical development, whilst a pure mathematician is left saying
`doh!'. This may have, unless watched, very serious implications for
category theory as between us and the areas with IMPACT there seems to
be a wide gulf, at least to the outsider. (When money is short, people
fight over what little there is with enthusiasm!)

This may have also an impact on the recrutement of new researchers, so
someone working in PDEs is likely to be viewed as potentially having
more impact than someone working in category theory. (If you think that
as you are not in the UK then you need not worry, and that your research
organisations are not going to behave so stupidly,..... )

There is a wiki (at lmsrefresponse dot wordpress dot com <- and I hope
this is ok with the list rules about links replace dot by . of course)
which some of you may want to look at. The London Math Soc does not seem
that sure as to how to best treat the situation.

(I would request, that if someone on the list wants to discuss IMPACT,
that they look at the lms pages first. If they go to the LMS main page
then to `policy' and look for impact they should find it and various
related documents. Please restrict attention to category theory, as that
is very vulnerable as quite a few other mathematicians have a negative
attitude to it.)

Tim




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


^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: IMPACT
  2011-07-18  6:51 ` IMPACT Timothy Porter
@ 2011-07-19  8:20   ` JeanBenabou
       [not found]   ` <FC1B6A43-6276-4DE0-89D8-25C68CE2C7B6@wanadoo.fr>
  2011-07-19  9:24   ` IMPACT Ronnie Brown
  2 siblings, 0 replies; 5+ messages in thread
From: JeanBenabou @ 2011-07-19  8:20 UTC (permalink / raw)
  To: Timothy Porter; +Cc: Categories

Dear Tim,

Your mail begins with:

> Let me put this in a context for non-UK readers of this list.

I think I qualify on both counts, I am a non-UK reader, and still on
this list.
But then you continue with:

> Various=20 bodies in the UK are asking for `impact' as part of
> their assessment of=20
> research.  This is in particular true of the REF exercise.

I'm afraid I don't know what is=20 research and REF exercise. It
seems very important since you say:

> (Perhaps=20 someone else can comment on this as well as I am `out
> of this', having=20 been a victim of a previous round of such
> `exercises'.)

This importance is attested by:

> We all know that=20 mathematics is central to modern technological
> developments,

And=20 occurs in  your mail more than 20 times.

Could you, or any one on the list, please explain briefly to a french
mathematician what=20 mathematics, pure and applied, and REF
exercises are?

Many thanks, and best regards,

Jean



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


^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: IMPACT
  2011-07-17 14:51 Fwd: Good article for promoting pure math research André Joyal
@ 2011-07-18  6:51 ` Timothy Porter
  2011-07-19  8:20   ` IMPACT JeanBenabou
                     ` (2 more replies)
  0 siblings, 3 replies; 5+ messages in thread
From: Timothy Porter @ 2011-07-18  6:51 UTC (permalink / raw)
  To: André Joyal; +Cc: categories

On 17/07/2011 16:51, Andr=E9 Joyal wrote:
> Dear All,
>
> An article on
>
> THE UNPLANNED IMPACTS OF MATHEMATICS
>
> was recently published in Nature:
>
> http://www.nature.com/nature/journal/v475/n7355/full/475166a.html
>
> andr=E9
>
>
>
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Dear All,

Let me put this in a context for non-UK readers of this list.  Various=20
bodies in the UK are asking for `impact' as part of their assessment of=20
research.  This is in particular true of the REF exercise. (Perhaps=20
someone else can comment on this as well as I am `out of this', having=20
been a victim of a previous round of such `exercises'.) We all know that=20
mathematics is central to modern technological developments, but pure=20
mathematics finds itself in the position of having  little direct IMPACT=20
as measured in the way that the nebulous THEY (i.e. the bean counters)=20
have defined it. We thus have that a sociologist can say that their=20
research resulted in  (whatever), a physicist can point to a new=20
technical development, whilst a pure mathematician is left saying=20
`doh!'. This may have, unless watched, very serious implications for=20
category theory as between us and the areas with IMPACT there seems to=20
be a wide gulf, at least to the outsider. (When money is short, people=20
fight over what little there is with enthusiasm!)

This may have also an impact on the recrutement of new researchers, so=20
someone working in PDEs is likely to be viewed as potentially having=20
more impact than someone working in category theory. (If you think that=20
as you are not in the UK then you need not worry, and that your research=20
organisations are not going to behave so stupidly,..... )

There is a wiki (at lmsrefresponse dot wordpress dot com <- and I hope=20
this is ok with the list rules about links replace dot by . of course)=20
which some of you may want to look at. The London Math Soc does not seem=20
that sure as to how to best treat the situation.

(I would request, that if someone on the list wants to discuss IMPACT,=20
that they look at the lms pages first. If they go to the LMS main page=20
then to `policy' and look for impact they should find it and various=20
related documents. Please restrict attention to category theory, as that=20
is very vulnerable as quite a few other mathematicians have a negative=20
attitude to it.)

Tim







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


^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2011-07-19 18:04 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-07-19 18:04 IMPACT Ellis D. Cooper
  -- strict thread matches above, loose matches on Subject: below --
2011-07-17 14:51 Fwd: Good article for promoting pure math research André Joyal
2011-07-18  6:51 ` IMPACT Timothy Porter
2011-07-19  8:20   ` IMPACT JeanBenabou
     [not found]   ` <FC1B6A43-6276-4DE0-89D8-25C68CE2C7B6@wanadoo.fr>
2011-07-19  9:00     ` IMPACT Timothy Porter
2011-07-19  9:24   ` IMPACT Ronnie Brown

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).