From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8812 Path: news.gmane.org!not-for-mail From: Giorgio Mossa Newsgroups: gmane.science.mathematics.categories Subject: Re: Categories in real world applications Date: Tue, 2 Feb 2016 18:21:56 +0100 Message-ID: References: Reply-To: Giorgio Mossa NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1454511894 8665 80.91.229.3 (3 Feb 2016 15:04:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 3 Feb 2016 15:04:54 +0000 (UTC) Cc: Categories To: Patrik Eklund Original-X-From: majordomo@mlist.mta.ca Wed Feb 03 16:04: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 1aQyz5-0005bO-G3 for gsmc-categories@m.gmane.org; Wed, 03 Feb 2016 16:04:43 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:51483) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1aQyxp-00061d-CE; Wed, 03 Feb 2016 11:03:25 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1aQyxj-000569-Ee for categories-list@mlist.mta.ca; Wed, 03 Feb 2016 11:03:19 -0400 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8812 Archived-At: Well in my limited knowledge I can say that a lot of category theory had been employed in order to design many constructions for programming languages. For instance in Haskell the notion of category, functor and monads are used as typeclasses in order to abstract some general pattern lurking around in many parametric types. So from this perspective category theory gives to (real world) programmers some tools to produce abstract-reusable-patterns, to code and avoid boilerplate. There is also Spivak's program to treat database categorically: yeah I know this is research, nonetheless it has to do with modelling real world objects (database) and modelling data is part (if not the essence) of real world application of mathematics. There are also other researcher that are trying to find categorical models for real world objects (see Baez's work for instance). I don't know if these works are yet ready for real world applications, but they seems promising. Hope this helps. On Tue, Feb 02, 2016 at 07:10:09AM +0200, 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/ ]