 Let $\m V=\m V^{(qp)}_k$ be the category of (quasi-projective) algebraic varieties (i.e. reduced separated schemes of finite type) over a base field $k$ of any characteristic, or let $\m V=\m V^{an}_c$ be the category of compact reduced complex analytic spaces. 