Re: only_marketing_?

[Patrik Eklund <peklund@cs.umu.se>]

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