From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4457 Path: news.gmane.org!not-for-mail From: Marco Grandis Newsgroups: gmane.science.mathematics.categories Subject: Weak cubical categories Date: Fri, 25 Jul 2008 16:46:21 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019957 13373 80.91.229.2 (29 Apr 2009 15:45:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:45:57 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Jul 25 12:39:19 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 25 Jul 2008 12:39:19 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KMPKs-00024w-KS for categories-list@mta.ca; Fri, 25 Jul 2008 12:36:02 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 24 Original-Lines: 43 Xref: news.gmane.org gmane.science.mathematics.categories:4457 Archived-At: The following preprint, exposed in my talk at CT2008, Calais, can be downloaded from my web page "The role of symmetries in cubical sets and cubical categories (On cubical categories, I)" (34 pages) http://www.dima.unige.it/~grandis/CCat.ps http://www.dima.unige.it/~grandis/CCat.pdf With best wishes Marco Grandis ______________ Abstract. Symmetric weak cubical categories were introduced in previous papers, as a basis for the study of cubical cospans in Algebraic Topology and higher cobordism. Such cubical structures are equipped with an action of the n-dimensional symmetric group on the n- dimensional component, which has been used to simplify the coherence conditions of the weak case. We give now a deeper study of the role of symmetries. The category of ordinary cubical sets has a Kan tensor product, which is non symmetric and biclosed, with left and right internal homs based on the right and left path functors. On the other hand, symmetric cubical sets have one path functor leading to one internal hom and a symmetric monoidal closed structure. Similar facts hold for cubical and symmetric cubical categories, and should play a relevant role in the sequel, the study of limits and adjunctions in these higher dimensional categories. Weak double categories, studied in four papers with R. Pare, are a cubical truncation of the present structures. While constructing examples of cubical categories, we also investigate a 'rewriting' procedure of reduction to canonical forms, which allows one to quotient a weak symmetric cubical category of cubical spans (resp. cospans), and obtain a strict symmetric cubical category of 'cubical relations' (resp. 'cubical profunctors'). ______________