 so that the canonical projection $\bB q: \bM(\m V/-) \to \bK_0(\m V / - )$ is a Grothendieck transformation.  [**Product operation**]{}: For morphisms $f: X \to Y$ and $g: Y \to Z$, the product operation $$\b