Indeed there are many. I tried out a posting on real world applications of CT some year ago. I did receive answers, but only a few, and they were stylishly scattered, so I never summarized that situation. It could be done again in some form, I wold like to believe. Kind of an inventory, or similar. In the end, the CT community being able to point at some success stories in these respect, would be useful in many ways and for many, I can imagine. And they will inspire to come up with more. --- Microsoft could be mentioned. They shouted 'Bayesian' around 1995-96 (was it?) in Los Angeles Times, pointing finger towards Denmark. Later on, many of us know how monads have been manipulated into functional, F#, LINQ, etc by Microsoft Research at Cambridge. LINQ is favoured by many DBMS programmers using the Visual Studio environment, even if probably only a few are really well versed in how CT and monads support it. --- My own take on the practicality of CT is having a category as kind of canvas for information representation. Expressions and the term functor is then a good example. Being over Set, expressions are just traditional, but being over something else, expressions become annotated with bits and pieces taken from that underlying category. We have been trying out applications using classification and terminology in health care. Expressions using such terminologies, do they come with hidden structures not easily to be identified and recovered if going over Set only? That Microsoft/monad thing is just over Set, as are basically all programming models. --- Best, Patrik On 2019-08-13 22:53, Vaughan Pratt wrote:
"... and Kestrel Technologies(founded 2000) have been using category theory in industry for quite some time"
That would be Kestrel Institute in Palo Alto, founded by Cordell Green in 1981, who've been getting help with category theory from the likes of Dusko Pavlovic, Samson Abramsky, etc. There's a Kestrel Technologies LTD in the UK but they're a family business machining parts for prototypes and low volume production in the automotive and aerospace industries.
Vaughan
On Tue, Aug 13, 2019 at 11:38 AM David Espinosa <david@davidespinosa.net> wrote:
John Baez wrote, "some companies are starting to hire people in applied category theory".
Actually, IBM hired Joe Goguen in 1971: http://cseweb.ucsd.edu/~goguen/pps/beatcs-adj.ps
And engineers at Galois Inc (founded 1999) and Kestrel Technologies (founded 2000) have been using category theory in industry for quite some time.
I'm sure there are many other examples.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]