RE: A well kept secret

["Wojtowicz, Ralph" <wojtowicz@metsci.com>]

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/ ]