From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8811 Path: news.gmane.org!not-for-mail From: Patrik Eklund Newsgroups: gmane.science.mathematics.categories Subject: Categories in real world applications Date: Tue, 02 Feb 2016 07:10:09 +0200 Message-ID: Reply-To: Patrik Eklund NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1454419253 15428 80.91.229.3 (2 Feb 2016 13:20:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 2 Feb 2016 13:20:53 +0000 (UTC) To: Categories Original-X-From: majordomo@mlist.mta.ca Tue Feb 02 14:20:44 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 1aQaso-0001R6-Is for gsmc-categories@m.gmane.org; Tue, 02 Feb 2016 14:20:38 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:49973) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1aQarw-0002fE-NV; Tue, 02 Feb 2016 09:19:44 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1aQarq-0007wz-I3 for categories-list@mlist.mta.ca; Tue, 02 Feb 2016 09:19:38 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8811 Archived-At: 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/ ]