categories - Category Theory list
 help / color / mirror / Atom feed
From: Bob Coecke <bob.coecke@cs.ox.ac.uk>
To: Patrik Eklund <peklund@cs.umu.se>
Cc: Bob Coecke <bob.coecke@cs.ox.ac.uk>, Categories <categories@mta.ca>
Subject: Re: Categories in real world applications
Date: Tue, 2 Feb 2016 18:45:56 +0000	[thread overview]
Message-ID: <E1aQyyi-000575-19@mlist.mta.ca> (raw)
In-Reply-To: <E1aQarq-0007wz-I3@mlist.mta.ca>

Hi, for a couple of years now, we have been using categories to relate grammatical structure (eg Lambek calculus/pregroups) to meaning spaces used in natural language processing eg vector spaces.  The interface of interaction is properly categorical.  The best analogy would be that while a TQFT functorially maps topology change on linear maps, here grammatical reduction is mapped on composition of meanings, yielding an algorithm that computes meanings of phrases and sentences from meaning of parts.  This method has outperformed other ones in NLP.  Here are some refs: 

B. Coecke, M. Sadrzadeh, and S. Clark. Mathematical foundations for a compositional distributional model of meaning. arXiv:1003.4394, 2010.

E. Grefenstette and M. Sadrzadeh. Experimental support for a categorical compositional distributional model of meaning. In Proceedings of the Conference on Empirical Methods in Natural Language Processing, EMNLP ’11, pages 1394–1404, Stroudsburg, PA, USA, 2011. ACL.

Sadrzadeh, S. Clark, and B. Coecke. The Frobenius anatomy of word meanings I: subject and object relative pronouns. Journal of Logic and Computation, page ext044, 2013.  arXiv:1404.5278

On 2 Feb 2016, at 05:10, Patrik Eklund wrote:

> If you know of any real world applications of category theory, please
> let me know. I would be interested to know of clearly described
> applications rather that anticipated ones using categories in background
> theories.
> 
> When we speak about "applications of categories" or "applied categories"
> we mostly or almost exclusively mean applying categories within
> mathematics (or theoretical computer science), where we have categories
> in algebra, topology, logic (and type theory), and so on. We do have
> real world applications of algebra, topology, logic, and many other
> branches of mathematics, but possible use of categories is then hidden
> and/or indirect.
> 
> Therefore the question: Are categories applicable in the real world?
> 
> Application areas could be found within the public or private sectors.
> In the public sector it can be e.g. within education and health, and in
> the private sector in can be e.g. within energy, finance and
> manufacturing.
> 
> If I receive more than just a few replies, I will make a survey of it,
> and later on inform the mailing list about the survey.
> 
> Looking forward.
> 
> Best,
> 
> Patrik
> 
> 
> 
> -- 
> Prof. Patrik Eklund
> Ume?? University
> Department of Computing Science
> SE-90187 Ume??
> Sweden
> 
> -------------------------
> 
> mobile +46 70 586 4414
> website www8.cs.umu.se/~peklund
> 
> 
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


  parent reply	other threads:[~2016-02-02 18:45 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-02-02  5:10 Patrik Eklund
2016-02-02 17:21 ` Giorgio Mossa
2016-02-02 18:45 ` Bob Coecke [this message]
2016-02-02 21:55 ` Andree EHRESMANN
2016-02-03  9:49 ` Joyal, André

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=E1aQyyi-000575-19@mlist.mta.ca \
    --to=bob.coecke@cs.ox.ac.uk \
    --cc=categories@mta.ca \
    --cc=peklund@cs.umu.se \
    /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).