From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9986 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Patrik Eklund Newsgroups: gmane.science.mathematics.categories Subject: Re: only_marketing_? Date: Fri, 16 Aug 2019 13:44:34 +0300 Message-ID: References: Reply-To: Patrik Eklund Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII"; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="99356"; mail-complaints-to="usenet@blaine.gmane.org" Cc: To: Vaughan Pratt Original-X-From: majordomo@mlist.mta.ca Fri Aug 16 15:22:52 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 1hycBw-000PhN-EX for gsmc-categories@m.gmane.org; Fri, 16 Aug 2019 15:22:52 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:38925) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hycBa-0001w6-R8; Fri, 16 Aug 2019 10:22:30 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hycAZ-0007dP-D9 for categories-list@mlist.mta.ca; Fri, 16 Aug 2019 10:21:27 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9986 Archived-At: 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 > > 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/ ]