From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8815 Path: news.gmane.org!not-for-mail From: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= Newsgroups: gmane.science.mathematics.categories Subject: RE: Categories in real world applications Date: Wed, 3 Feb 2016 09:49:59 +0000 Message-ID: References: Reply-To: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1454511996 10395 80.91.229.3 (3 Feb 2016 15:06:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 3 Feb 2016 15:06:36 +0000 (UTC) To: Patrik Eklund , Categories Original-X-From: majordomo@mlist.mta.ca Wed Feb 03 16:06:27 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aQz0k-0007h9-Lk for gsmc-categories@m.gmane.org; Wed, 03 Feb 2016 16:06:26 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:51498) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1aQz0L-0006Kv-0r; Wed, 03 Feb 2016 11:06:01 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1aQz0F-00059P-3H for categories-list@mlist.mta.ca; Wed, 03 Feb 2016 11:05:55 -0400 In-Reply-To: Accept-Language: en-US, en-CA Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8815 Archived-At: Dear Prof Erklund,=0A= =0A= The usefulness of category theory is best seen in mathematics.=0A= Mathematics is part of the real world.=0A= =0A= Category theory has applications to algebra, geometry, topology, =0A= homotopy theory, algebraic-topology, algebraic-geometry, number theory, =0A= combinatorics, logic, etc.=0A= =0A= -A=0A= =0A= =0A= ________________________________________=0A= From: Patrik Eklund [peklund@cs.umu.se]=0A= Sent: Tuesday, February 02, 2016 12:10 AM=0A= To: Categories=0A= Subject: categories: Categories in real world applications=0A= =0A= If you know of any real world applications of category theory, please=0A= let me know. I would be interested to know of clearly described=0A= applications rather that anticipated ones using categories in background=0A= theories.=0A= =0A= When we speak about "applications of categories" or "applied categories"=0A= we mostly or almost exclusively mean applying categories within=0A= mathematics (or theoretical computer science), where we have categories=0A= in algebra, topology, logic (and type theory), and so on. We do have=0A= real world applications of algebra, topology, logic, and many other=0A= branches of mathematics, but possible use of categories is then hidden=0A= and/or indirect.=0A= =0A= Therefore the question: Are categories applicable in the real world?=0A= =0A= Application areas could be found within the public or private sectors.=0A= In the public sector it can be e.g. within education and health, and in=0A= the private sector in can be e.g. within energy, finance and=0A= manufacturing.=0A= =0A= If I receive more than just a few replies, I will make a survey of it,=0A= and later on inform the mailing list about the survey.=0A= =0A= Looking forward.=0A= =0A= Best,=0A= =0A= Patrik=0A= =0A= =0A= =0A= --=0A= Prof. Patrik Eklund=0A= Ume?? University=0A= Department of Computing Science=0A= SE-90187 Ume??=0A= Sweden=0A= =0A= -------------------------=0A= =0A= mobile +46 70 586 4414=0A= website www8.cs.umu.se/~peklund=0A= =0A= =0A= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]=0A= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]