From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8445 Path: news.gmane.org!not-for-mail From: Ronnie Brown Newsgroups: gmane.science.mathematics.categories Subject: Re: Internalizing n-cells to (n-1)-cells Date: Tue, 30 Dec 2014 10:47:41 +0000 Message-ID: References: Reply-To: Ronnie Brown NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1419948148 816 80.91.229.3 (30 Dec 2014 14:02:28 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 30 Dec 2014 14:02:28 +0000 (UTC) To: Mike Stay , categories Original-X-From: majordomo@mlist.mta.ca Tue Dec 30 15:02:23 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 1Y5xNM-0007Y2-T8 for gsmc-categories@m.gmane.org; Tue, 30 Dec 2014 15:02:21 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:57946) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Y5xMX-0007mv-6j; Tue, 30 Dec 2014 10:01:29 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Y5xMX-0000BH-2S for categories-list@mlist.mta.ca; Tue, 30 Dec 2014 10:01:29 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8445 Archived-At: You mention the exponential object, so I am not sure if you already know the following suggested answer. Monoidal closed structures are defined on certain kinds of cubical omega-groupoids with connections in joint papers 48. (with P.J. HIGGINS), ``Tensor products and homotopies for $\omega$-groupoids and crossed complexes'', {\em J. Pure Appl. Alg.} 47 (1987) 1-33. and for categories by an analogous process in 116. (with F.A. AL-AGL and R. STEINER), `Multiple categories: the equivalence between a globular and cubical approach', Advances in Mathematics, 170 (2002) 71-118. A kind of "decollage", dropping dimension by 1, is given by taking the path object PC of a cubical object C, and this essentially drops each cell by 1, as you ask. Cubical objects are convenient for this exponential method for the usual reason, that I^m x I^n \cong I^{m+n}. Equivalences with other kinds of structures then enable the translation, at least in principle. Thierry Coquand has used cubical methods in his work on homotopy type theory. Best wishes Ronnie PS While I am writing I might as well mention http://education.lms.ac.uk/2014/12/alexander-grothendieck-some-recollections/ R On 28/12/2014 23:36, Mike Stay wrote: > ---------- Forwarded message ---------- > From: Meredith Gregory > Date: Sun, Dec 28, 2014 at 1:01 PM > Subject: Fwd: Internalizing n-cells to (n-1)-cells > To: Mike Stay > > > Dear Mike, > > i'm writing to ask a question about higher categories motivated from > the computer > science perspective. A colleague and i have been looking at an analogue of the > internalization of morphisms typically associated with Currying. In our setting > we're modeling rewrites in various calculi as 2-morphisms, but to > prevent rewrites > from happening too freely we have to reify certain contexts as > 1-morphisms to mark > which rewrites are permitted. Essentially, it's a kind of > internalization process > and is closely connected with work by Leifer, Milner, and Sewell. > Now, though, i'm wondering if there has been a more general study of > internalization operators > taking n-cells to (n-1)-cells. Is there essentially only one kind of > internalization process generalizing the exponential object case? Does > anyone have any references? > > Best wishes, > > --greg > > -- > L.G. Meredith > Managing Partner > Biosimilarity LLC > 7329 39th Ave SW > Seattle, WA 98136 > > +1 206.650.3740 > > http://biosimilarity.blogspot.com > > > > -- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]