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