From: Vaughan Pratt <pratt@cs.stanford.edu>
To: <categories@mta.ca>
Subject: Re: only_marketing_?
Date: Tue, 13 Aug 2019 12:53:03 -0700 [thread overview]
Message-ID: <E1hyJp3-0003b3-Bt@mlist.mta.ca> (raw)
In-Reply-To: <E1hxbei-0007LF-49@mlist.mta.ca>
"... 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/ ]
next prev parent reply other threads:[~2019-08-13 19:53 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-08-08 5:34 only_marketing_? Ellerman, David
2019-08-12 3:54 ` only_marketing_? John Baez
2019-08-13 6:16 ` only_marketing_? David Espinosa
2019-08-13 19:53 ` Vaughan Pratt [this message]
2019-08-16 10:44 ` only_marketing_? Patrik Eklund
-- strict thread matches above, loose matches on Subject: below --
2019-08-06 14:37 only_marketing_? Eduardo J. Dubuc
2019-08-08 7:01 ` only_marketing_? Patrik Eklund
2019-08-12 0:03 ` only_marketing_? Vaughan Pratt
2019-08-16 10:40 ` only_marketing_? Steve Vickers
2019-08-16 16:30 ` only_marketing_? Alexander Kurz
2019-08-17 3:44 ` only_marketing_? John Baez
2019-08-20 8:55 ` only_marketing_? Steve Vickers
2019-08-21 3:30 ` only_marketing_? Scott Morrison
2019-08-12 8:32 ` only_marketing_? John Baez
2019-08-20 23:32 ` only_marketing_? Bob Coecke
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1hyJp3-0003b3-Bt@mlist.mta.ca \
--to=pratt@cs.stanford.edu \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).