cubical nerve or not ?

cubical nerve or not ?

[Philippe Gaucher]

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.