From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6980 Path: news.gmane.org!not-for-mail From: Ross Street Newsgroups: gmane.science.mathematics.categories Subject: Re: Simplicial versus (cubical with connections) Date: Fri, 21 Oct 2011 09:08:25 +1100 Message-ID: References: Reply-To: Ross Street NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v936) Content-Type: text/plain;charset=US-ASCII;format=flowed;delsp=yes Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1319285801 30387 80.91.229.12 (22 Oct 2011 12:16:41 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 22 Oct 2011 12:16:41 +0000 (UTC) To: categories list Original-X-From: majordomo@mlist.mta.ca Sat Oct 22 14:16:36 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RHaV9-0007GN-ID for gsmc-categories@m.gmane.org; Sat, 22 Oct 2011 14:16:35 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:48442) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1RHaU1-00021U-JF; Sat, 22 Oct 2011 09:15:25 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RHaU0-0001c4-2Y for categories-list@mlist.mta.ca; Sat, 22 Oct 2011 09:15:24 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6980 Archived-At: > Perhaps the example I learned from Dominic Verity that I gave in my CT > 1995 Halifax talk will suffice for this. > Using strings, we derive a model for the free monoidal category > containing a cointerval. > Cubical sets are functors from this to Set. Further to my last message: That CT1995 talk was very much part of a three-man show: Street, Verity, Trimble. In particular, for the example I am referring to above, the original combinatorial model came from Verity, the string derivation of the model was Trimble, and all I did was draw the diagrams using MacDraw. Apparently there is material on this example in the nLab http://nlab.mathforge.org/nlab/show/cube+category Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]