From Rehmeyer's article: "It?s even proving valuable in developing rigorous models of music theory." " 'If people adopt the level of rigor of category theory,' [Spivak] says, 'it will provide a precise language for science as a whole, and it will help individual scientists to clarify their thinking.' " I don't know what "rigor" is, but if we identify it with consistency then there is a limit to the rigor of category theory: Goedel's second incompleteness theorem shows that category theory cannot be rigorous enough to establish its own rigor. Vaughan On 6/5/2013 5:28 PM, Ross Street wrote:
http://www.sciencenews.org/view/generic/id/350567/description/One_of_the_mos...
Perhaps the above article is more good than harm.
Ross www.math.mq.edu.au/~street
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]