From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/858
Path: news.gmane.org!not-for-mail
From: Philippe Gaucher <gaucher@irmast1.u-strasbg.fr>
Newsgroups: gmane.science.mathematics.categories
Subject: cubical nerve or not ?
Date: Fri, 11 Sep 1998 18:11:24 +0200
Message-ID: <199809111611.AA10235@irmast1.u-strasbg.fr>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241017248 27897 80.91.229.2 (29 Apr 2009 15:00:48 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:00:48 +0000 (UTC)
To: categories@mta.ca
Original-X-From: cat-dist Fri Sep 11 17:23:11 1998
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.8.8/8.8.8) id QAA28175
	for categories-list; Fri, 11 Sep 1998 16:06:39 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Content-Md5: v7FxAtvhIVpKeku1Fkdgkg==
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 44
Xref: news.gmane.org gmane.science.mathematics.categories:858
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/858>

Dear all, 

If D is any category equipped with a "cohomotopy structure" (P,p0,p1,s) where 
P:D->D is a functor and p_0,p_1:P->Id_D and s:Id_D->P are natural transformations 
of functors such that p_0s=p_1s=Id_D, we get cubical sets by the following way :

we set P^0=Id_D, P^{n+1}=P(P^n) and 

d^\delta_{i,n} = P^{i-1}p_\delta P^{n-i}:P^n-->P{n-1}, i=1,...,n, \delta=0,1
s_{i,n} = P^{i-1}s P^{n+1-i}:P^n-->P^{n-1}, i=1,...,n+1

and (D(X,P^n(Y)),d^\delta_{i,n},s_{i,n})_n is a cubical set for any object X and Y 
of D.

[I am using the notations of the paper "Homotopies of small categories", Marek 
Golasinski, Fund.Math. 114 (1981) no 3, 209-217]


Now, take D = omega-Cat, I^1 the 1-cube {a -u-> b} and for P the following functor 
: if C is an omega-category and 2_n the omega-category representing C|->C_n, we set 

P(C) = Hom^l(I^1,C) (the left internal hom : take the right one if you want)

with p_0 and p_1 induced by 2_0 ==> I^1 (==> means 2 arrows) which send the point 
of 2_0 on a (resp. b) of I^1 and s : I^1 -> 2_0 which sends a and b on the point of 
2_0 and the 1-morphism of I^1 on the degenerated 1-morphism. 

So (P,p_0,p_1,s) is a cohomotopy structure on omega-Cat. 


=> (omega-Cat(X,P^n(C)),d^\delta_{i,n},s_{i,n}) for any omega-category X.

With X=2_0, omega-Cat(X,P^n(C))=omega-Cat(I^n,C), and (I think) we get the 
classical cubical nerve. We have to verify that the face and degeneracy maps are 
the same in both cases (for the underlying set, it is trivial). I am looking for a 
simple ("abstract") argument in order to aviod an explicit computation. Thank you 
for any help.


pg.