From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8424 Path: news.gmane.org!not-for-mail From: Urs Schreiber Newsgroups: gmane.science.mathematics.categories Subject: Re: Applications of (higher) category theory to computer science Date: Sat, 13 Dec 2014 22:07:41 +0100 Message-ID: References: Reply-To: Urs Schreiber NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1418510640 23870 80.91.229.3 (13 Dec 2014 22:44:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 13 Dec 2014 22:44:00 +0000 (UTC) Cc: categories@mta.ca To: Dee Roytenberg Original-X-From: majordomo@mlist.mta.ca Sat Dec 13 23:43:55 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 1XzvPn-00014b-0Z for gsmc-categories@m.gmane.org; Sat, 13 Dec 2014 23:43:55 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:45066) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XzvP8-0006dE-Je; Sat, 13 Dec 2014 18:43:14 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XzvP9-0004Qp-Qa for categories-list@mlist.mta.ca; Sat, 13 Dec 2014 18:43:15 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8424 Archived-At: On 12/11/14, Dee Roytenberg wrote: > Many thanks to everyone who replied, with enough suggestions to fill a > bookshelf! Just to add one remark: while there is a lot of literature this relation, at the heart of it there is one single simple but profound dictionary which translates category theory <-> type theory <-> computation such that these three subjects become, essentially, just three different faces of one single phenomenon. Since this is so neat, Bob Harper once referred to this as "computational trinitarianism". A hyperlinked version of the dictionary, with further pointers, is here: http://ncatlab.org:8080/nlab/show/computational+trinitarianism Best, Urs [For admin and other information see: http://www.mta.ca/~cat-dist/ ]