Jim Stasheff wrote:
we need to build that bridge
The paper linked below is an example of a "success story" that I have recently described to sponsors who want to know what use category theory has been to other parts of mathematics. In my opinion, the fact that category theory provided not only new insights into semantics of full first-order S4 modal logic but also semantics of higher-order S4 helps build the bridge mentioned above. http://www.andrew.cmu.edu/user/awodey/preprints/FoS4.phil.pdf One sponsor had his own example (see the link below which he brought to my attention) which has generated a lot of interest among my colleagues at work since "network analysis" is one of our primary business areas. http://comptop.stanford.edu/preprints/clust-functorial.pdf I am still working through the following but think it also contributes to the bridge. http://www.andrew.cmu.edu/user/awodey/preprints/homotopy.pdf Ralph Wojtowicz Metron, Inc. 1818 Library Street, Suite 600 Reston, VA 20190 www.metsci.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]