From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9984 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: only_marketing_? Date: Tue, 13 Aug 2019 12:53:03 -0700 Message-ID: References: Reply-To: Vaughan Pratt Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="139782"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Thu Aug 15 19:47:54 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hyJqs-000a5e-QV for gsmc-categories@m.gmane.org; Thu, 15 Aug 2019 19:47:54 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:38805) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hyJpk-0005ZS-Sv; Thu, 15 Aug 2019 14:46:44 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hyJp3-0003b3-Bt for categories-list@mlist.mta.ca; Thu, 15 Aug 2019 14:46:01 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9984 Archived-At: "... 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 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/ ]