All Questions

Show that a perverse sheaf on $\mathbb{A}^1(\mathbb{C})$ (the complex plane with the analytic topology) is a bounded complex $A$ of sheaves of $\mathbb{Q}$-vector spaces with constructible cohomology ...

I'm looking for a reference for the following statement in as much generality as possible, assuming it is correct. Let's $X$ and $Y$ be "spaces" with a $G$-action. We can take the $G$-product defined ...