§10.2 Direct Products of Summants

T is well defined by (2) since for a given tagged cell in L (H, r) and (/, s) are uniquely determined by the Cartesian projections of J x K onto J and K. Thus (2) induces a differential r = [T] on J x K .