THEOREM 2.2. The homomorphism L. is independent of the imbedding, and satis/ies: 1 (eovariance). For every proper morphism/: X--,X', the diagram K~.x L., K~'IxI | K~x' L.. K~,Slx, l| A commutes. 2 (module). For every X, the diagram K~.o X | K3"X Kg"X L" | <~[xl | | | L. [!~| 9 K~o bs commute& 3 (product). For every X x, X s, the diagram ~#X1 @ K~qXi
No takes yet. Share an insight, caveat, or question.
Baum et al. (1979) studied this question.