For V. PRATT: Your problem has some relations with the tensor products on the c ategory of n-uple categories we defined in old papers (Cahiers de Top. et GD 19 (3-4) 1978 and 20-1 1979). I am sending reprints by air mail. Sincerely Andree C. Ehresmann