From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8416 Path: news.gmane.org!not-for-mail From: Harley Eades III Newsgroups: gmane.science.mathematics.categories Subject: Re: Applications of (higher) category theory to computer science Date: Thu, 11 Dec 2014 09:47:25 -0500 Message-ID: References: Reply-To: Harley Eades III NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1418398744 20130 80.91.229.3 (12 Dec 2014 15:39:04 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 12 Dec 2014 15:39:04 +0000 (UTC) Cc: categories@mta.ca To: Dee Roytenberg Original-X-From: majordomo@mlist.mta.ca Fri Dec 12 16:38:59 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XzSJ0-0002IA-LY for gsmc-categories@m.gmane.org; Fri, 12 Dec 2014 16:38:58 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:42751) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XzSI6-00040B-0E; Fri, 12 Dec 2014 11:38:02 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XzSI6-00056e-08 for categories-list@mlist.mta.ca; Fri, 12 Dec 2014 11:38:02 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8416 Archived-At: Hi, Dee. On Dec 11, 2014, at 8:38 AM, Dee Roytenberg = wrote: > Dear colleagues, >=20 > Could someone recommend a good text on the subject? I am aware of the = book > by Barr and Wells; however, unlike that book, which is intended for > computer scientists who want to learn category theory, I am looking = for > something, in a way, opposite: a source for those who know category = theory > but not much of computer science. I can recommend the following books: =93Categorical Logic and Type Theory=94 by Bart Jacobs http://www.cs.ru.nl/B.Jacobs/CLT/bookinfo.html =93Categories for Types=94 by Roy Crole = http://www.amazon.com/Categories-Studies-Emotion-Social-Interaction/dp/052= 1450926 Both of these are related to the study of type theory =97 and logic =97 = which can be seen as a=20 logical foundation to functional programming. So not in terms of CS in = general. The following is another =93introduction=94 to category theory, but has = lots of examples: =93Categories for Computer Science=94 by R. F. C. Walters = http://www.amazon.com/Categories-Computer-Science-Cambridge-Texts/dp/05214= 22264 These are all the ones I can think of right now. I am interested in = what others have to offer. I have not found much in the way of books covering a wide = spectra of CS, but rather only specialties.=20 Very best, .\ Harley >=20 > Many thanks in advance. >=20 > - Dee >=20 >=20 > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] [For admin and other information see: http://www.mta.ca/~cat-dist/ ]